TreeView Knowledge Base Browser

appearance as argument number 1

(instance CoveringFn UnaryFunction)	Mid-level-ontology.kif 32331-32331	Covering fn is an instance of unary function
(domainSubclass CoveringFn 1 BodyPart)	Mid-level-ontology.kif 32332-32332	The number 1 argument of Covering fn is a subclass of body part
(rangeSubclass CoveringFn WearableItem)	Mid-level-ontology.kif 32333-32333	The values returned by Covering fn are subclasses of wearable item
(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 32334-32335	The values returned by Covering fn are subclasses of wearable item

appearance as argument number 2

(format EnglishLanguage CoveringFn "a covering for %1")	domainEnglishFormat.kif 3132-3132
(format ChineseTraditionalLanguage CoveringFn "對於 %1 的 covering ")	domainEnglishFormat.kif 3133-3133
(format ChineseLanguage CoveringFn "对于 %1 的 covering ")	domainEnglishFormat.kif 3134-3134
(termFormat EnglishLanguage CoveringFn "Covering fn")	domainEnglishFormat.kif 64714-64714

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 32337-32346

If X is a subclass of a covering for Y, then X has the purpose there exist Z, W, V such that Z is an instance of covering, W is an instance of Y, V is an instance of X, Z ends up at W, and V is a patient of Z

statement

(subclass Mask (CoveringFn Face))	Mid-level-ontology.kif 6196-6196	Mask is a subclass of a covering for face
(subclass Hat (CoveringFn Head))	Mid-level-ontology.kif 6243-6243	Hat is a subclass of a covering for head
(subclass Trousers (CoveringFn Leg))	Mid-level-ontology.kif 6262-6262	Trousers is a subclass of a covering for leg
(subclass Shoe (CoveringFn Foot))	Mid-level-ontology.kif 6277-6277	Shoe is a subclass of a covering for foot
(subclass Sock (CoveringFn Foot))	Mid-level-ontology.kif 6340-6340	Sock is a subclass of a covering for foot
(subclass Shirt (CoveringFn Torso))	Mid-level-ontology.kif 6355-6355	Shirt is a subclass of a covering for torso
(subclass Sleeve (CoveringFn Arm))	Mid-level-ontology.kif 6366-6366	Sleeve is a subclass of a covering for arm
(subclass Helmet (CoveringFn Head))	Cars.kif 4267-4267	Helmet is a subclass of a covering for head
(equal Glove (CoveringFn Hand))	Cars.kif 4635-4635	equal glove and a covering for hand

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

KB Term:			Term intersection

English Word: