covers |
appearance as argument number 1 |
![]() |
(documentation covers EnglishLanguage "A relationship of partial or complete physical covering, which may be the result of a Covering. To cover an object, the first object must at least roughly conform to the surface of the second object. ") | Merge.kif 16056-16059 | |
(domain covers 1 Object) | Merge.kif 16053-16053 | The number 1 argument of covers is an instance of object |
(domain covers 2 Object) | Merge.kif 16054-16054 | The number 2 argument of covers is an instance of object |
(instance covers BinaryPredicate) | Merge.kif 16050-16050 | covers is an instance of binary predicate |
(instance covers SpatialRelation) | Merge.kif 16052-16052 | covers is an instance of spatial relation |
(instance covers TransitiveRelation) | Merge.kif 16051-16051 | covers is an instance of transitive relation |
appearance as argument number 2 |
![]() |
(format EnglishLanguage covers "%1 covers %2") | Merge.kif 16055-16055 | |
(termFormat EnglishLanguage covers "covers") | domainEnglishFormat.kif 65801-65801 |
antecedent |
![]() |
(=> (and (covers ?A ?B) (superficialPart ?S ?B)) (meetsSpatially ?A ?S)) |
Merge.kif 16061-16065 |
|
(=> (holdsDuring ?T (and (not (exists (?C) (and (instance ?C Clothing) (covers ?C ?F)))) (instance ?F Foot) (part ?F ?A))) (holdsDuring ?T (attribute ?A Barefoot))) |
Mid-level-ontology.kif 32037-32048 |
|
consequent |
![]() |
![]() |
![]() |