| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3366-3368 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14332-14335 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14322-14322 | 域 發展形式, 1 and OrganicObject |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14323-14323 | 域 發展形式, 2 and DevelopmentalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14319-14319 | 例 發展形式 and AsymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14318-14318 | 例 發展形式 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14320-14320 | 例 發展形式 and TransitiveRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14321-14321 | 子關係 發展形式 and attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 519-519 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 524-524 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 307-307 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 72-72 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2075-2075 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 259-259 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 674-674 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 113-113 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 328-328 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 335-335 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 106-106 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19326-19326 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 520-520 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19325-19325 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19324-19324 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 161-161 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14337-14344 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14337-14344 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 241-246 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 227-231 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 280-284 |
|
|
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