| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3699-3700 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16467-16469 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16465-16465 | 域 兄弟, 1 and Organism |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16466-16466 | 域 兄弟, 2 and Organism |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16460-16460 | 例 兄弟 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16464-16464 | 例 兄弟 and IrreflexiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16461-16461 | 例 兄弟 and PartialValuedRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16463-16463 | 例 兄弟 and SymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16462-16462 | 子關係 兄弟 and 家庭關係 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 529-529 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 534-534 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 312-312 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 261-261 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2080-2080 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 264-264 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 318-318 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 689-689 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 298-298 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 333-333 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 343-343 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 453-453 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16499-16499 | 子關係 哥哥 and 兄弟 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16508-16508 | 子關係 妹妹 and 兄弟 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52922-52922 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 530-530 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52921-52921 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52920-52920 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16481-16485 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23109-23114 | 人 是 Human 的 nephew Organism 兄弟 Organism and Human 人 是 Organism 的 son |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23123-23128 | 女人 是 Human 的 niece Organism 兄弟 Organism and Human 女人 是 Organism 的 daughter |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16471-16479 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7493-7500 |
|
|
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