/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