No TPTP formula. May not be expressible in strict first order.	Cars.kif 4687-4687
No TPTP formula. May not be expressible in strict first order.	emotion.kif 927-927
No TPTP formula. May not be expressible in strict first order.	emotion.kif 702-702
No TPTP formula. May not be expressible in strict first order.	emotion.kif 748-748
No TPTP formula. May not be expressible in strict first order.	emotion.kif 742-742
No TPTP formula. May not be expressible in strict first order.	emotion.kif 782-782
No TPTP formula. May not be expressible in strict first order.	emotion.kif 955-955
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1113-1113
No TPTP formula. May not be expressible in strict first order.	emotion.kif 825-825
No TPTP formula. May not be expressible in strict first order.	emotion.kif 911-911

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners