GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-08-31 00:07:00 -06:00
Code Issues Packages Projects Releases Wiki Activity
4,785 Commits 21 Branches 11 Tags
142cdc306dade2388cf6d4e9e30216695ac4630c
Commit Graph
10 Commits
Author SHA1 Message Date
krasimir 1371f630b6 definitions for some high-order predicates that were missing 2010-06-06 12:10:49 +00:00
krasimir db3eb23d5f SUMO: remove the uggly SubClassC and use KappaFn instead 2010-06-06 11:44:51 +00:00
krasimir 8c9b63236f changes in SUMO: formatting and fixes for lots of lots of small problems 2010-06-06 11:06:44 +00:00
ramona.enache dba4c9462c fixed SUMORon according to changes in the resource grammar 2010-05-08 13:39:44 +00:00
aarne 3123b011fe paths in SUMO 2010-04-19 07:06:36 +00:00
ramona.enache 3870f18ba6 WordsRonSumoFre 2010-04-18 13:55:44 +00:00
krasimir 897682d952 replace SS with StmtS in SUMO 2010-02-17 12:38:11 +00:00
krasimir 07fa5c575d added TPTP for SUMO 2010-02-17 12:21:41 +00:00
krasimir 6b8fa0eaa1 SUMO axioms 2010-02-17 11:12:43 +00:00
krasimir 06654cbb5e added examples/SUMO 2010-02-17 11:07:24 +00:00