This website requires JavaScript.
Explore
Help
Sign In
GitHub
/
gf-core
Watch
1
Star
0
Fork
1
You've already forked gf-core
mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced
2026-06-21 09:16:13 -06:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
159b68f94638a53d7f86c8f47cb30de23deef1c5
gf-core
/
examples
/
SUMO
/
TPTP
History
ramona.enache
3870f18ba6
WordsRonSumoFre
2010-04-18 13:55:44 +00:00
..
CommunicationsAx.p
…
CommunicationsLemAx.p
…
CommunicationsPredAx.p
…
CountriesAndRegionsAx.p
…
CountriesAndRegionsLemAx.p
…
EconomyAx.p
…
EconomyLemAx.p
…
EconomyPredAx.p
…
EconomySubAttAx.p
…
elementsAx.p
…
elementsLemAx.p
…
elementsPredAx.p
…
engineeringAx.p
…
engineeringLemAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
FinancialOntologyAx.p
…
FinancialOntologyLemAx.p
…
GeographyAx.p
…
GeographyLemAx.p
…
GeographyPredAx.p
…
GeographySubAttAx.p
…
GovernmentAx.p
…
GovernmentLemAx.p
…
GovernmentPredAx.p
…
GovernmentSubAttAx.p
…
MergeAx.p
WordsRonSumoFre
2010-04-18 13:55:44 +00:00
MergeLemAx.p
…
MergePredAx.p
…
MergeSubAttAx.p
…
Mid_level_ontologyAx.p
WordsRonSumoFre
2010-04-18 13:55:44 +00:00
Mid_level_ontologyLemAx.p
…
Mid_level_ontologyPredAx.p
…
Mid_level_ontologySubAttAx.p
…
MilitaryAx.p
…
MilitaryLemAx.p
…
MilitaryPredAx.p
…
mondialAx.p
added TPTP for SUMO
2010-02-17 12:21:41 +00:00
mondialPredAx.p
…
QoSOntologyAx.p
…
QoSOntologyLemAx.p
…
test1.p
…
test2.p
…
test3.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
…
