summaryrefslogtreecommitdiff
path: root/examples/SUMO
AgeCommit message (Expand)Author
2010-08-08linearizations for few class names in SUMOkrasimir
2010-07-31add coding=utf8 to BasicRon.gfkrasimir
2010-07-31move class Apple from MidLevelOntology to Economy for French and Romaniankrasimir
2010-07-21declare Provice as subclass of StateOrProvince in Mondial.gfkrasimir
2010-07-13solve the ambiguity for double negation in SUMOkrasimir
2010-07-13for some reason the concrete syntax for MidLevelOntology was not in darcskrasimir
2010-06-06definitions for some high-order predicates that were missingkrasimir
2010-06-06SUMO: remove the uggly SubClassC and use KappaFn insteadkrasimir
2010-06-06changes in SUMO: formatting and fixes for lots of lots of small problemskrasimir
2010-05-08fixed SUMORon according to changes in the resource grammarramona.enache
2010-04-19paths in SUMOaarne
2010-04-18WordsRonSumoFreramona.enache
2010-02-17replace SS with StmtS in SUMOkrasimir
2010-02-17added TPTP for SUMOkrasimir
2010-02-17SUMO axiomskrasimir
2010-02-17added examples/SUMOkrasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-06-21 00:31:34 +0000