| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3697-3698 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16474-16476 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16472-16472 | 儿子 的 1 数量 是 生物 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16473-16473 | 儿子 的 2 数量 是 生物 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16471-16471 | 儿子 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16470-16470 | 儿子 是 父母 的 subrelation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4570-4570 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4569-4569 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4568-4568 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53940-53940 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53939-53939 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53938-53938 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16478-16480 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23108-23113 | 人 是 人类 的 nephew 若且唯若 有存在 生物 这样 那个 生物 是 那个 人类 的 sibling 和 那个 人 是 那个 生物 的 son |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23026-23030 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 654-660 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 702-708 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 678-684 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 726-732 |
|
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