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 29715-29716
(domainSubclass CoveringFn 1 BodyPart) Mid-level-ontology.kif 29713-29713 Le nombre 1 argument de CoveringFn est une sous-classe de partie du corps
(instance CoveringFn UnaryFunction) Mid-level-ontology.kif 29712-29712 CoveringFn est une instance de function unaire
(rangeSubclass CoveringFn WearableItem) Mid-level-ontology.kif 29714-29714 Les valeurs retourn�es par CoveringFn sont des sous-classes de WearableItem

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 29718-29727

statement
-------------------------


(equal Glove
    (CoveringFn Hand))		 Cars.kif 4751-4751 Glove est CoveringFn Hand
(subclass Hat
    (CoveringFn Head))		 Mid-level-ontology.kif 5147-5147 Hat est une sous-classe de CoveringFn Head
(subclass Helmet
    (CoveringFn Head))		 Cars.kif 4368-4368 Helmet est une sous-classe de CoveringFn Head
(subclass Mask
    (CoveringFn Face))		 Mid-level-ontology.kif 5100-5100 Mask est une sous-classe de CoveringFn Face
(subclass Shirt
    (CoveringFn Torso))		 Mid-level-ontology.kif 5259-5259 Shirt est une sous-classe de CoveringFn Torso
(subclass Shoe
    (CoveringFn Foot))		 Mid-level-ontology.kif 5181-5181 Shoe est une sous-classe de CoveringFn Foot
(subclass Sleeve
    (CoveringFn Arm))		 Mid-level-ontology.kif 5270-5270 Sleeve est une sous-classe de CoveringFn Arm
(subclass Sock
    (CoveringFn Foot))		 Mid-level-ontology.kif 5244-5244 Sock est une sous-classe de CoveringFn Foot
(subclass Trousers
    (CoveringFn Leg))		 Mid-level-ontology.kif 5166-5166 Trousers est une sous-classe de CoveringFn Leg


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