| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4282-4284 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4285-4285 | 域 地下表面類型, 1 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4286-4286 | 域子類 地下表面類型, 2 and Substance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4281-4281 | 例 地下表面類型 and BinaryPredicate |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1129-1129 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1128-1128 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1127-1127 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26712-26712 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26711-26711 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26710-26710 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4288-4297 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4041-4041 | 岩石 是 山 表面下的 ground |
|
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