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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 29715-29716
(domainSubclass CoveringFn 1 BodyPart) Mid-level-ontology.kif 29713-29713 CoveringFn の数値 1 引数は 体の部分subclass では %n
(instance CoveringFn UnaryFunction) Mid-level-ontology.kif 29712-29712 CoveringFn1変数関数instance では %n
(rangeSubclass CoveringFn WearableItem) Mid-level-ontology.kif 29714-29714 CoveringFn が返す値は WearableItemsubclasses では %n

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


    (subclass ?C
        (CoveringFn ?B))
    (hasPurpose ?C
        (exists (?P ?BI ?CI)
                (instance ?P Covering)
                (instance ?BI ?B)
                (instance ?CI ?C)
                (destination ?P ?BI)
                (patient ?P ?CI)))))
Mid-level-ontology.kif 29718-29727


(equal Glove
    (CoveringFn Hand))
Cars.kif 4751-4751 GloveCoveringFn Handequal では %n
(subclass Hat
    (CoveringFn Head))
Mid-level-ontology.kif 5147-5147 HatCoveringFn Headsubclass では %n
(subclass Helmet
    (CoveringFn Head))
Cars.kif 4368-4368 HelmetCoveringFn Headsubclass では %n
(subclass Mask
    (CoveringFn Face))
Mid-level-ontology.kif 5100-5100 MaskCoveringFn Facesubclass では %n
(subclass Shirt
    (CoveringFn Torso))
Mid-level-ontology.kif 5259-5259 ShirtCoveringFn Torsosubclass では %n
(subclass Shoe
    (CoveringFn Foot))
Mid-level-ontology.kif 5181-5181 ShoeCoveringFn Footsubclass では %n
(subclass Sleeve
    (CoveringFn Arm))
Mid-level-ontology.kif 5270-5270 SleeveCoveringFn Armsubclass では %n
(subclass Sock
    (CoveringFn Foot))
Mid-level-ontology.kif 5244-5244 SockCoveringFn Footsubclass では %n
(subclass Trousers
    (CoveringFn Leg))
Mid-level-ontology.kif 5166-5166 TrousersCoveringFn Legsubclass では %n

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