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 29778-29779
(domainSubclass CoveringFn 1 BodyPart) Mid-level-ontology.kif 29776-29776 Il numero 1 argomento CoveringFn è una sottoclasse diParteDelCorpo
(instance CoveringFn UnaryFunction) Mid-level-ontology.kif 29775-29775 CoveringFn è un' istanza di FunzioneUnaria
(rangeSubclass CoveringFn WearableItem) Mid-level-ontology.kif 29777-29777 I valori resi da CoveringFn sono sottoclassi diWearableItem

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 is uguale a CoveringFn Hand
(subclass Hat
    (CoveringFn Head))		 Mid-level-ontology.kif 5142-5142 Hat è una sottoclasse di CoveringFn Head
(subclass Helmet
    (CoveringFn Head))		 Cars.kif 4345-4345 Helmet è una sottoclasse di CoveringFn Head
(subclass Mask
    (CoveringFn Face))		 Mid-level-ontology.kif 5095-5095 Mask è una sottoclasse di CoveringFn Face
(subclass Shirt
    (CoveringFn Torso))		 Mid-level-ontology.kif 5254-5254 Shirt è una sottoclasse di CoveringFn Torso
(subclass Shoe
    (CoveringFn Foot))		 Mid-level-ontology.kif 5176-5176 Shoe è una sottoclasse di CoveringFn Foot
(subclass Sleeve
    (CoveringFn Arm))		 Mid-level-ontology.kif 5265-5265 Sleeve è una sottoclasse di CoveringFn Arm
(subclass Sock
    (CoveringFn Foot))		 Mid-level-ontology.kif 5239-5239 Sock è una sottoclasse di CoveringFn Foot
(subclass Trousers
    (CoveringFn Leg))		 Mid-level-ontology.kif 5161-5161 Trousers è una sottoclasse di 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