GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-10 13:29:32 -06:00
Code Issues Packages Projects Releases Wiki Activity
Files
bfdef2f60cda2bd05fc42aeee68d14a6bd2d01fc
gf-core/examples/SUMO/TPTP
History
krasimir d6627b5a5a added TPTP for SUMO
2010-02-17 12:21:41 +00:00
..
CommunicationsAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
CommunicationsLemAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
CommunicationsPredAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
CountriesAndRegionsAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
CountriesAndRegionsLemAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
EconomyAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
EconomyLemAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
EconomyPredAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
EconomySubAttAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
elementsAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
elementsLemAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
elementsPredAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
engineeringAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
engineeringLemAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
FinancialOntologyAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
FinancialOntologyLemAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
GeographyAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
GeographyLemAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
GeographyPredAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
GeographySubAttAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
GovernmentAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
GovernmentLemAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
GovernmentPredAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
GovernmentSubAttAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
MergeAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
MergeLemAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
MergePredAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
MergeSubAttAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
Mid_level_ontologyAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
Mid_level_ontologyLemAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
Mid_level_ontologyPredAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
Mid_level_ontologySubAttAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
MilitaryAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
MilitaryLemAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
MilitaryPredAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
mondialAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
mondialPredAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
QoSOntologyAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
QoSOntologyLemAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
test1.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
test2.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
test3.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
TransportationAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
TransportationLemAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
TransportationPredAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
WMDAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
WMDLemAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
WMDPredAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
WMDSubAttAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
WorldAirportsA_KAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
WorldAirportsA_KPredAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
WorldAirportsL_ZAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
WorldAirportsL_ZPredAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00