Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CoveringFn |
| 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 |
|