|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11030-11030 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11035-11035 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11024-11024 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11015-11015 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 549-549 | 法语手语 是 聋人手语 的 instance |
|
|
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