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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ObstructiveShock

 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 29778-29779
(domainSubclass CoveringFn 1 BodyPart) Mid-level-ontology.kif 29776-29776 Le nombre 1 argument de CoveringFn est une sous-classe de partie du corps
(instance CoveringFn UnaryFunction) Mid-level-ontology.kif 29775-29775 CoveringFn est une instance de function unaire
(rangeSubclass CoveringFn WearableItem) Mid-level-ontology.kif 29777-29777 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 64713-64713

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 29781-29790

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


(equal Glove
    (CoveringFn Hand))		 Cars.kif 4728-4728 Glove est CoveringFn Hand
(subclass Hat
    (CoveringFn Head))		 Mid-level-ontology.kif 5142-5142 Hat est une sous-classe de CoveringFn Head
(subclass Helmet
    (CoveringFn Head))		 Cars.kif 4345-4345 Helmet est une sous-classe de CoveringFn Head
(subclass Mask
    (CoveringFn Face))		 Mid-level-ontology.kif 5095-5095 Mask est une sous-classe de CoveringFn Face
(subclass Shirt
    (CoveringFn Torso))		 Mid-level-ontology.kif 5254-5254 Shirt est une sous-classe de CoveringFn Torso
(subclass Shoe
    (CoveringFn Foot))		 Mid-level-ontology.kif 5176-5176 Shoe est une sous-classe de CoveringFn Foot
(subclass Sleeve
    (CoveringFn Arm))		 Mid-level-ontology.kif 5265-5265 Sleeve est une sous-classe de CoveringFn Arm
(subclass Sock
    (CoveringFn Foot))		 Mid-level-ontology.kif 5239-5239 Sock est une sous-classe de CoveringFn Foot
(subclass Trousers
    (CoveringFn Leg))		 Mid-level-ontology.kif 5161-5161 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