Directory listing for gf-3.2.9 source tarball
gf-3.2.9/examples/SUMO/
- Basic.gf
- BasicBul.gf
- BasicEng.gf
- BasicFre.gf
- BasicRon.gf
- BasicSwe.gf
- Birds.gf
- BirdsBul.gf
- BirdsEng.gf
- BirdsSwe.gf
- Communications.gf
- CountriesAndRegions.gf
- CountriesAndRegionsEng.gf
- CountriesAndRegionsRon.gf
- Economy.gf
- EconomyEng.gf
- EconomyFre.gf
- EconomyRon.gf
- Elements.gf
- ElementsEng.gf
- Engineering.gf
- EngineeringEng.gf
- EngineeringFre.gf
- EngineeringRon.gf
- FinancialOntology.gf
- Geography.gf
- GeographyEng.gf
- Government.gf
- Merge.gf
- MergeBul.gf
- MergeEng.gf
- MergeFre.gf
- MergeRon.gf
- MergeSwe.gf
- MidLevelOntology.gf
- MidLevelOntologyEng.gf
- MidLevelOntologyFre.gf
- MidLevelOntologyRon.gf
- Military.gf
- Mondial.gf
- MondialEng.gf
- QoSontology.gf
- QoSontologyEng.gf
- QoSontologyFre.gf
- QoSontologyRon.gf
- SUMO.gf
- SUMOBul.gf
- SUMOEng.gf
- SUMOFre.gf
- SUMORon.gf
- SUMOSwe.gf
- Transportation.gf
- WMD.gf
- WorldAirportsA_K.gf
- WorldAirportsL_Z.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