Directory listing for gf-3.1.6.1 source tarball
gf-3.1.6.1/examples/SUMO/TPTP/
- CommunicationsAx.p
- CommunicationsLemAx.p
- CommunicationsPredAx.p
- CountriesAndRegionsAx.p
- CountriesAndRegionsLemAx.p
- EconomyAx.p
- EconomyLemAx.p
- EconomyPredAx.p
- EconomySubAttAx.p
- FinancialOntologyAx.p
- FinancialOntologyLemAx.p
- GeographyAx.p
- GeographyLemAx.p
- GeographyPredAx.p
- GeographySubAttAx.p
- GovernmentAx.p
- GovernmentLemAx.p
- GovernmentPredAx.p
- GovernmentSubAttAx.p
- MergeAx.p
- MergeLemAx.p
- MergePredAx.p
- MergeSubAttAx.p
- Mid_level_ontologyAx.p
- Mid_level_ontologyLemAx.p
- Mid_level_ontologyPredAx.p
- Mid_level_ontologySubAttAx.p
- MilitaryAx.p
- MilitaryLemAx.p
- MilitaryPredAx.p
- QoSOntologyAx.p
- QoSOntologyLemAx.p
- TransportationAx.p
- TransportationLemAx.p
- TransportationPredAx.p
- WMDAx.p
- WMDLemAx.p
- WMDPredAx.p
- WMDSubAttAx.p
- WorldAirportsA_KAx.p
- WorldAirportsA_KPredAx.p
- WorldAirportsL_ZAx.p
- WorldAirportsL_ZPredAx.p
- elementsAx.p
- elementsLemAx.p
- elementsPredAx.p
- engineeringAx.p
- engineeringLemAx.p
- mondialAx.p
- mondialPredAx.p
- test1.p
- test2.p
- test3.p