| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 117-119 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 115-115 | 域子類 DeadFn, 1 and OrganicObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 114-114 | 例 DeadFn and UnaryFunction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 116-116 | 範圍子類 DeadFn and OrganismRemains |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3170-3170 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3169-3169 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3168-3168 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18238-18238 | 相關的內部概念 DeadOrMissingBodyPartFn and DeadFn |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20036-20036 | 相關的內部概念 飼料 and DeadFn |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5248-5248 | 相關的內部概念 OrganicObjectFn and DeadFn |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4186-4186 | 相關的內部概念 農産品 and DeadFn |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6407-6407 | 相關的內部概念 SheddingPart and DeadFn |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64745-64745 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 121-127 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4035-4040 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4031-4033 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4055-4057 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5267-5276 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5485-5493 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18084-18092 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6425-6434 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 129-137 |
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1909-1915 |
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3377-3383 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4365-4372 |
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 299-306 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 105-107 |
|
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