No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29920-29920	The number 3 argument of unique ID with respect to is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24623-24623	The number 1 argument of unit number is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4403-4403	The number 2 argument of url is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	emotion.kif 193-193	The number 3 argument of utterance is an instance of symbolic string

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