Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  CoveringFn

Sigma KEE - CoveringFn
CoveringFn

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 数量 是 身体部位subclass
(instance CoveringFn UnaryFunction) Mid-level-ontology.kif 29724-29724 CoveringFn一元函数instance
(rangeSubclass CoveringFn WearableItem) Mid-level-ontology.kif 29726-29726 CoveringFn 的所得值 是 可穿戴物品subclass

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 手套 equal 对于 covering
(subclass Hat
    (CoveringFn Head))
Mid-level-ontology.kif 5148-5148 帽子 是 对于 coveringsubclass
(subclass Helmet
    (CoveringFn Head))
Cars.kif 4360-4360 Helmet 是 对于 coveringsubclass
(subclass Mask
    (CoveringFn Face))
Mid-level-ontology.kif 5101-5101 Mask 是 对于 面对coveringsubclass
(subclass Shirt
    (CoveringFn Torso))
Mid-level-ontology.kif 5260-5260 衬衫 是 对于 躯干coveringsubclass
(subclass Shoe
    (CoveringFn Foot))
Mid-level-ontology.kif 5182-5182 是 对于 coveringsubclass
(subclass Sleeve
    (CoveringFn Arm))
Mid-level-ontology.kif 5271-5271 是 对于 coveringsubclass
(subclass Sock
    (CoveringFn Foot))
Mid-level-ontology.kif 5245-5245 袜子 是 对于 coveringsubclass
(subclass Trousers
    (CoveringFn Leg))
Mid-level-ontology.kif 5167-5167 长裤 是 对于 coveringsubclass


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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