Commit Graph

7 Commits

Author SHA1 Message Date
ramona.enache
204614a76d fixed SUMORon according to changes in the resource grammar 2010-05-08 13:39:44 +00:00
aarne
8c036d4234 paths in SUMO 2010-04-19 07:06:36 +00:00
ramona.enache
f58e96382c WordsRonSumoFre 2010-04-18 13:55:44 +00:00
krasimir
bfdef2f60c replace SS with StmtS in SUMO 2010-02-17 12:38:11 +00:00
krasimir
d6627b5a5a added TPTP for SUMO 2010-02-17 12:21:41 +00:00
krasimir
6690fbaf6c SUMO axioms 2010-02-17 11:12:43 +00:00
krasimir
f7f0112256 added examples/SUMO 2010-02-17 11:07:24 +00:00