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. ") | Mid-level-ontology.kif 29735-29738 | |
(domain covers 1 Object) | Mid-level-ontology.kif 29732-29732 | The number 1 argument of covers is an instance of object |
(domain covers 2 Object) | Mid-level-ontology.kif 29733-29733 | The number 2 argument of covers is an instance of object |
(instance covers BinaryPredicate) | Mid-level-ontology.kif 29729-29729 | covers is an instance of binary predicate |
(instance covers SpatialRelation) | Mid-level-ontology.kif 29731-29731 | covers is an instance of spatial relation |
(instance covers TransitiveRelation) | Mid-level-ontology.kif 29730-29730 | covers is an instance of transitive relation |
appearance as argument number 2 |
(format EnglishLanguage covers "%1 covers %2") | Mid-level-ontology.kif 29734-29734 | |
(termFormat EnglishLanguage covers "covers") | domainEnglishFormat.kif 65801-65801 |
antecedent |
(=> (and (covers ?A ?B) (superficialPart ?S ?B)) (meetsSpatially ?A ?S)) |
Mid-level-ontology.kif 29740-29744 |
|
consequent |