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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 Die Zahl 1 Argument von CoveringFn ist eine teilkategorie von BodyPart %n{nicht}
(instance CoveringFn UnaryFunction) Mid-level-ontology.kif 29775-29775 CoveringFn ist ein fall von UnaryFunction %n{nicht}
(rangeSubclass CoveringFn WearableItem) Mid-level-ontology.kif 29777-29777 Die werte die CoveringFn zurueckgibt sind teilkategorien von 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 ist gleich CoveringFn Hand %n{nicht}
(subclass Hat
    (CoveringFn Head))		 Mid-level-ontology.kif 5142-5142 Hat ist eine teilkategorie von CoveringFn Head
(subclass Helmet
    (CoveringFn Head))		 Cars.kif 4345-4345 Helmet ist eine teilkategorie von CoveringFn Head
(subclass Mask
    (CoveringFn Face))		 Mid-level-ontology.kif 5095-5095 Mask ist eine teilkategorie von CoveringFn Face
(subclass Shirt
    (CoveringFn Torso))		 Mid-level-ontology.kif 5254-5254 Shirt ist eine teilkategorie von CoveringFn Torso
(subclass Shoe
    (CoveringFn Foot))		 Mid-level-ontology.kif 5176-5176 Shoe ist eine teilkategorie von CoveringFn Foot
(subclass Sleeve
    (CoveringFn Arm))		 Mid-level-ontology.kif 5265-5265 Sleeve ist eine teilkategorie von CoveringFn Arm
(subclass Sock
    (CoveringFn Foot))		 Mid-level-ontology.kif 5239-5239 Sock ist eine teilkategorie von CoveringFn Foot
(subclass Trousers
    (CoveringFn Leg))		 Mid-level-ontology.kif 5161-5161 Trousers ist eine teilkategorie von CoveringFn Leg


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



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