| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3703-3704 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16640-16641 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16638-16638 | 域 妹妹, 1 and 女人 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16639-16639 | 域 妹妹, 2 and Human |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16635-16635 | 例 妹妹 and IrreflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16637-16637 | 例 妹妹 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16636-16636 | 例 妹妹 and TransitiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16634-16634 | 子關係 妹妹 and 兄弟 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4526-4526 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4525-4525 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4524-4524 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53279-53279 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53278-53278 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53277-53277 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24695-24700 | 女人 是 Human 的 aunt Human 女人 是 Human 的 sister 親 Human and Human |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 742-748 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 644-650 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 728-734 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 603-608 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 770-776 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 658-664 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 756-762 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 590-595 |
|
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 3.0 is open source software produced by Articulate Software and its partners