| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3691-3692 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16411-16413 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16409-16409 | 域 母親, 1 and Organism |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16410-16410 | 域 母親, 2 and Organism |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16403-16403 | 例 母親 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16402-16402 | 例 母親 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16401-16401 | 例 母親 and SingleValuedRelation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 525-525 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 530-530 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 310-310 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 195-195 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2078-2078 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 262-262 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 316-316 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 683-683 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 233-233 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 331-331 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 339-339 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 375-375 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 526-526 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38678-38678 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38677-38677 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 376-376 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16405-16407 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16414-16416 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23061-23076 | Human Human 是 cousins 女人 人 Human 的 grandmother 是 女人 Human 的 grandfather 是 人 Human 的 grandmother 是 女人 Human 的 grandfather 是 人 Organism Organism 母親 Human and Organism 父親 Human and Organism 母親 Human and Organism 父親 Human and Organism |
| 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. | Merge.kif 10336-10343 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16493-16497 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16386-16394 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23095-23100 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 774-780 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20164-20171 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 595-600 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 573-578 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 690-696 | |
| 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 618-624 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 738-744 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 642-648 | |
| 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