| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18618-18620 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18615-18617 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18624-18624 | The number 1 argument of comment is an instance of entity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18625-18625 | The number 2 argument of comment is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18626-18626 | The number 3 argument of comment is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18614-18614 | comment is an instance of ternary predicate |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 770-770 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18622-18622 | "注释" is the printable form of comment in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18621-18621 | "comment" is the printable form of comment in english language |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11652-11658 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11128-11130 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13536-13537 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13566-13568 | |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 987-990 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 197-197 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19648-19654 | |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 843-844 | |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 156-159 | |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1090-1092 | |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1113-1117 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11685-11688 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11712-11714 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners