| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29727-29728 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29725-29725 | CoveringFn 的 1 数量 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29724-29724 | CoveringFn 是 一元函数 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29726-29726 | CoveringFn 的所得值 是 可穿戴物品 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3138-3138 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3137-3137 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3136-3136 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64711-64711 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29730-29739 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4743-4743 | 手套 equal 对于 手 的 covering |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5148-5148 | 帽子 是 对于 头 的 covering 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4360-4360 | Helmet 是 对于 头 的 covering 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5101-5101 | Mask 是 对于 面对 的 covering 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5260-5260 | 衬衫 是 对于 躯干 的 covering 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5182-5182 | 鞋 是 对于 足 的 covering 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5271-5271 | 袖 是 对于 臂 的 covering 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5245-5245 | 袜子 是 对于 足 的 covering 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5167-5167 | 长裤 是 对于 腿 的 covering 的 subclass |
|
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