| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3693-3694 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16450-16452 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16448-16448 | Le nombre 1 argument de father est une instance de organisme |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16449-16449 | Le nombre 2 argument de father est une instance de organisme |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16442-16442 | father est une instance de pr�dicat binaire |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16441-16441 | father est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16440-16440 | father 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 527-527 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 532-532 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 311-311 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 109-109 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2079-2079 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 263-263 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 317-317 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 686-686 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 149-149 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 332-332 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 341-341 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 228-228 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 528-528 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23361-23361 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23360-23360 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 229-229 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16444-16446 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16454-16456 |
| 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 16509-16513 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23020-23024 | |
| 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. | ArabicCulture.kif 666-672 | |
| 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 606-612 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 714-720 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 630-636 | |
| 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. | Mid-level-ontology.kif 23082-23087 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 760-766 |
|
| 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 584-589 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 562-567 |
|
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