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 29747-29750 | |
(domain covers 1 Object) | Mid-level-ontology.kif 29744-29744 | The number 1 argument of covers is an instance of object |
(domain covers 2 Object) | Mid-level-ontology.kif 29745-29745 | The number 2 argument of covers is an instance of object |
(instance covers BinaryPredicate) | Mid-level-ontology.kif 29741-29741 | covers is an instance of binary predicate |
(instance covers SpatialRelation) | Mid-level-ontology.kif 29743-29743 | covers is an instance of spatial relation |
(instance covers TransitiveRelation) | Mid-level-ontology.kif 29742-29742 | covers is an instance of transitive relation |
appearance as argument number 2 |
(format EnglishLanguage covers "%1 covers %2") | Mid-level-ontology.kif 29746-29746 | |
(termFormat EnglishLanguage covers "covers") | domainEnglishFormat.kif 65801-65801 |
antecedent |
(=> (and (covers ?A ?B) (superficialPart ?S ?B)) (meetsSpatially ?A ?S)) |
Mid-level-ontology.kif 29752-29756 |
|
consequent |