| 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 31646-31647 | |
| (domainSubclass CoveringFn 1 BodyPart) | Mid-level-ontology.kif 31644-31644 | Le nombre 1 argument de CoveringFn est une sous-classe de partie du corps |
| (instance CoveringFn UnaryFunction) | Mid-level-ontology.kif 31643-31643 | CoveringFn est une instance de function unaire |
| (rangeSubclass CoveringFn WearableItem) | Mid-level-ontology.kif 31645-31645 | Les valeurs retourn�es par CoveringFn sont des sous-classes de WearableItem |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage CoveringFn "对于 %1 的 covering ") | domainEnglishFormat.kif 3134-3134 | |
| (format ChineseTraditionalLanguage CoveringFn "對於 %1 的 covering ") | domainEnglishFormat.kif 3133-3133 | |
| (format EnglishLanguage CoveringFn "a covering for %1") | domainEnglishFormat.kif 3132-3132 | |
| (termFormat EnglishLanguage CoveringFn "Covering fn") | domainEnglishFormat.kif 64705-64705 |
| 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 31649-31658 |
|
| statement |
|
|
| (equal Glove (CoveringFn Hand)) |
Cars.kif 4804-4804 | equal Glove and CoveringFn Hand |
| (subclass Hat (CoveringFn Head)) |
Mid-level-ontology.kif 6085-6085 | Hat est une sous-classe de CoveringFn Head |
| (subclass Helmet (CoveringFn Head)) |
Cars.kif 4421-4421 | Helmet est une sous-classe de CoveringFn Head |
| (subclass Mask (CoveringFn Face)) |
Mid-level-ontology.kif 6038-6038 | Mask est une sous-classe de CoveringFn Face |
| (subclass Shirt (CoveringFn Torso)) |
Mid-level-ontology.kif 6197-6197 | Shirt est une sous-classe de CoveringFn Torso |
| (subclass Shoe (CoveringFn Foot)) |
Mid-level-ontology.kif 6119-6119 | Shoe est une sous-classe de CoveringFn Foot |
| (subclass Sleeve (CoveringFn Arm)) |
Mid-level-ontology.kif 6208-6208 | Sleeve est une sous-classe de CoveringFn Arm |
| (subclass Sock (CoveringFn Foot)) |
Mid-level-ontology.kif 6182-6182 | Sock est une sous-classe de CoveringFn Foot |
| (subclass Trousers (CoveringFn Leg)) |
Mid-level-ontology.kif 6104-6104 | Trousers est une sous-classe de 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