| 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 16433-16435 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16431-16431 | Le nombre 1 argument de mother est une instance de organisme |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16432-16432 | Le nombre 2 argument de mother est une instance de organisme |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16425-16425 | mother est une instance de pr�dicat binaire |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16424-16424 | mother est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16423-16423 | mother est une instance de relation simple |
| 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 16427-16429 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16436-16438 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23060-23075 | cousin humain and humain Woman Man grandmother humain and Woman grandfather humain and Man grandmother humain and Woman grandfather humain and Man organisme organisme organisme est la m�re de humain organisme est le p�re de humain organisme est la m�re de humain organisme est le p�re de humain |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23151-23158 | stepfather humain and Man humain humain est la m�re de humain spouse Man and humain Man est le p�re de humain |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23168-23175 | stepmother humain and Woman humain humain est le p�re de humain spouse Woman and humain Woman est la m�re de humain |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10358-10365 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16515-16519 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16408-16416 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23094-23099 | |
| 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 20163-20170 | |
| 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