| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9317-9317 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9319-9319 | 园林 详尽无遗地 partition 成 私人庭园 和 公共庭园 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9318-9318 | 园林 是 耕地面积 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9364-9364 | 公共庭园 是 园林 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9345-9345 | 私人庭园 是 园林 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64330-64330 | 私人庭园 是 园林 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64331-64331 | 私人庭园 是 园林 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64329-64329 | 私人庭园 是 园林 的 subclass |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9321-9329 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9283-9289 |
|
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