|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2552-2552 | The number 2 argument of result is an instance of entity |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1332-1332 | The number 1 argument of sub-brand is an instance of entity |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1333-1333 | The number 2 argument of sub-brand is an instance of entity |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 313-313 | The number 1 argument of subjective attribute is an instance of entity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 664-664 | The number 2 argument of subsumed external concept is an instance of entity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 658-658 | The number 2 argument of subsuming external concept is an instance of entity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 637-637 | The number 2 argument of synonymous external concept is an instance of entity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 388-388 | The number 2 argument of term format is an instance of entity |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 192-192 | The number 2 argument of utterance is an instance of entity |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 48-48 | The number 1 argument of catalog item is a subclass of entity |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 203-203 | The number 1 argument of price range is a subclass of entity |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 415-415 | The number 1 argument of product price is a subclass of entity |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 332-332 | The number 1 argument of published price is a subclass of entity |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 397-397 | The number 1 argument of unit price is a subclass of entity |
|
|
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