Directory listing for gf-3.1.6.1 source tarball
gf-3.1.6.1/examples/SUMO/
- Basic.gf
- BasicEng.gf
- BasicFre.gf
- BasicRon.gf
- Communications.gf
- CountriesAndRegions.gf
- CountriesAndRegionsEng.gf
- Economy.gf
- FinancialOntology.gf
- Geography.gf
- Government.gf
- HigherOrder.gf
- HigherOrderEng.gf
- Merge.gf
- MergeEng.gf
- MergeFre.gf
- MergeRon.gf
- Mid_level_ontology.gf
- Mid_level_ontologyEng.gf
- Mid_level_ontologyFre.gf
- Mid_level_ontologyRon.gf
- Military.gf
- QoSontology.gf
- SUMO.gf
- SUMOEng.gf
- SUMOFre.gf
- SUMORon.gf
- Transportation.gf
- WMD.gf
- WorldAirportsA_K.gf
- WorldAirportsL_Z.gf
- elements.gf
- elementsEng.gf
- engineering.gf
- mondial.gf
- mondialEng.gf
- RGLExt/
- 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
- axioms/
- Communications.gft
- CountriesAndRegions.gft
- CountriesAndRegionsP.gft
- Economy.gft
- EconomyHiO.gft
- EconomyP.gft
- EconomySubAtt.gft
- EconomySubRel.gft
- Either.gft
- ExtraLem.gft
- FinancialOntology.gft
- FinancialOntologyHiO.gft
- FinancialOntologySubRel.gft
- Geography.gft
- GeographyHiO.gft
- GeographyP.gft
- GeographySubAtt.gft
- GeographySubRel.gft
- Government.gft
- GovernmentHiO.gft
- GovernmentP.gft
- GovernmentSubAtt.gft
- GovernmentSubRel.gft
- Merge.gft
- MergeHiO.gft
- MergeP.gft
- MergeSubAtt.gft
- MergeSubRel.gft
- Mid_level_ontology.gft
- Mid_level_ontologyHiO.gft
- Mid_level_ontologyP.gft
- Mid_level_ontologySubAtt.gft
- Mid_level_ontologySubRel.gft
- Military.gft
- MilitaryP.gft
- QoSOntology.gft
- QoSOntologySubRel.gft
- Transportation.gft
- TransportationP.gft
- TransportationSubRel.gft
- WMD.gft
- WMDP.gft
- WMDSubAtt.gft
- WorldAirportsA-KP.gft
- WorldAirportsL-ZP.gft
- elements.gft
- elementsP.gft
- engineering.gft
- engineeringHiO.gft
- engineeringP.gft
- mondialP.gft