| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23373-23373 | 不相交的關係 伴侶 and 國內的合作夥伴 |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3713-3713 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16564-16565 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16562-16562 | 域 伴侶, 1 and Human |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16563-16563 | 域 伴侶, 2 and Human |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16559-16559 | 例 伴侶 and IrreflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16561-16561 | 例 伴侶 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16560-16560 | 例 伴侶 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16558-16558 | 子關係 伴侶 and 法律關係 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16556-16556 | 子關係 伴侶 and 相識熟人 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16322-16322 | 子關係 伴侶 and 相對的 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4594-4594 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4593-4593 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4592-4592 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54798-54798 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54797-54797 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54796-54796 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7972-7982 | |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 307-317 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23186-23202 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23152-23159 | 人 是 Human 的 stepfather Human 母親 Human and Human 人 是 Human 的 spouse 父親 Human and 人 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23169-23176 | 女人 是 Human 的 stepfather Human 父親 Human and Human 女人 是 Human 的 spouse 母親 Human and 女人 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1426-1431 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1415-1420 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22307-22321 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1025-1034 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7965-7970 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14170-14176 |
|
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