| appearance as argument number 1 |
|
| (documentation CoveringFn EnglishLanguage "A Function that produces the class of all things intended to be used in Covering a particular BodyPart.") | Mid-level-ontology.kif 29727-29728 | |
| (domainSubclass CoveringFn 1 BodyPart) | Mid-level-ontology.kif 29725-29725 | 域子類 CoveringFn, 1 and BodyPart |
| (instance CoveringFn UnaryFunction) | Mid-level-ontology.kif 29724-29724 | 例 CoveringFn and UnaryFunction |
| (rangeSubclass CoveringFn WearableItem) | Mid-level-ontology.kif 29726-29726 | 範圍子類 CoveringFn and 可穿戴物品 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage CoveringFn "对于 %1 的 covering ") | domainEnglishFormat.kif 3138-3138 | |
| (format ChineseTraditionalLanguage CoveringFn "對於 %1 的 covering ") | domainEnglishFormat.kif 3137-3137 | |
| (format EnglishLanguage CoveringFn "a covering for %1") | domainEnglishFormat.kif 3136-3136 | |
| (termFormat EnglishLanguage CoveringFn "Covering fn") | domainEnglishFormat.kif 64711-64711 |
| antecedent |
|
|
| (=> (subclass ?C (CoveringFn ?B)) (hasPurpose ?C (exists (?P ?BI ?CI) (and (instance ?P Covering) (instance ?BI ?B) (instance ?CI ?C) (destination ?P ?BI) (patient ?P ?CI))))) |
Mid-level-ontology.kif 29730-29739 |
| statement |
|
|
| (equal Glove (CoveringFn Hand)) |
Cars.kif 4743-4743 | 等於 手套 and 對於 手 的 covering |
| (subclass Hat (CoveringFn Head)) |
Mid-level-ontology.kif 5148-5148 | 子類 帽子 and 對於 頭 的 covering |
| (subclass Helmet (CoveringFn Head)) |
Cars.kif 4360-4360 | 子類 Helmet and 對於 頭 的 covering |
| (subclass Mask (CoveringFn Face)) |
Mid-level-ontology.kif 5101-5101 | 子類 Mask and 對於 面對 的 covering |
| (subclass Shirt (CoveringFn Torso)) |
Mid-level-ontology.kif 5260-5260 | 子類 襯衫 and 對於 軀幹 的 covering |
| (subclass Shoe (CoveringFn Foot)) |
Mid-level-ontology.kif 5182-5182 | 子類 鞋 and 對於 足 的 covering |
| (subclass Sleeve (CoveringFn Arm)) |
Mid-level-ontology.kif 5271-5271 | 子類 袖 and 對於 臂 的 covering |
| (subclass Sock (CoveringFn Foot)) |
Mid-level-ontology.kif 5245-5245 | 子類 襪子 and 對於 足 的 covering |
| (subclass Trousers (CoveringFn Leg)) |
Mid-level-ontology.kif 5167-5167 | 子類 長褲 and 對於 腿 的 covering |
|
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