| 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 27904-27905 | |
| (domainSubclass CoveringFn 1 BodyPart) | Mid-level-ontology.kif 27902-27902 | The number 1 argument of CoveringFn is a subclass of body part |
| (instance CoveringFn UnaryFunction) | Mid-level-ontology.kif 27901-27901 | CoveringFn is an instance of unary function |
| (rangeSubclass CoveringFn WearableItem) | Mid-level-ontology.kif 27903-27903 | The values returned by CoveringFn are subclasses of wearable item |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage CoveringFn "a covering for %1") | domainEnglishFormat.kif 794-794 |
| 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 27907-27916 |
|
| statement |
|
|
| (equal Glove (CoveringFn Hand)) |
Cars.kif 4714-4714 | Glove is equal to a covering for hand |
| (subclass Helmet (CoveringFn Head)) |
Cars.kif 4324-4324 | Helmet is a subclass of a covering for head |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners