covers - Sigma Knowledge base Browser

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 27844-27847
(domain covers 1 Object)	Mid-level-ontology.kif 27841-27841	The number 1 argument of covers is an instance of object
(domain covers 2 Object)	Mid-level-ontology.kif 27842-27842	The number 2 argument of covers is an instance of object
(instance covers BinaryPredicate)	Mid-level-ontology.kif 27838-27838	covers is an instance of binary predicate
(instance covers SpatialRelation)	Mid-level-ontology.kif 27840-27840	covers is an instance of spatial relation
(instance covers TransitiveRelation)	Mid-level-ontology.kif 27839-27839	covers is an instance of transitive relation

appearance as argument number 2

(format EnglishLanguage covers "%1 covers %2")

Mid-level-ontology.kif 27843-27843

antecedent

(=>
    (and
        (covers ?A ?B)
        (superficialPart ?S ?B))
    (meetsSpatially ?A ?S))

Mid-level-ontology.kif 27849-27853

If an object covers another object and a third object is a superficial part of the other object,
then the object meets the third object

consequent

(<=> (and (instance ?B BodyPart) (holdsDuring ?T (attribute ?B Bare))) (holdsDuring ?T (not (exists (?C) (and (instance ?C Clothing) (covers ?C ?B))))))	Mid-level-ontology.kif 28252-28262	An object is an instance of body part and Bare is an attribute of the object holds during an entity if and only if there doesn't exist another object such that the other object is an instance of clothing and the other object covers the object holds during the entity
(=> (and (instance ?C Covering) (patient ?C ?P) (instrument ?C ?I)) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (covers ?I ?P)))	Mid-level-ontology.kif 27855-27862	If a process is an instance of covering and an object is a patient of the process and another object is an instrument for the process, then the other object covers the object holds during immediately after the time of existence of the process
(=> (holdsDuring ?T (attribute ?A Clothed)) (holdsDuring ?T (not (exists (?P) (and (instance ?P ReproductiveBody) (part ?P ?A) (not (exists (?C) (and (instance ?C Clothing) (covers ?C ?P)))))))))	Mid-level-ontology.kif 28235-28248	If Clothed is an attribute of an object holds during an entity, then there doesn't exist another object such that the other object is an instance of reproductive body and the other object is a part of the object and there doesn't exist a third object such that the third object is an instance of clothing and the third object covers the other object holds during the entity
(=> (instance ?T Tire) (hasPurpose ?T (exists (?W ?R) (and (instance ?W Wheel) (instance ?R WheelRim) (part ?T ?W) (part ?R ?W) (covers ?T ?R)))))	Cars.kif 4758-4767	If an object is an instance of tire, then the object has purpose there exist another object and a third object such that the other object is an instance of wheel and the third object is an instance of rim and the object is a part of the other object and the third object is a part of the other object and the object covers the third object
(=> (instance ?TC TireChain) (hasPurpose ?TC (exists (?V ?W ?F) (and (instance ?V RoadVehicle) (instance ?W Wheel) (part ?W ?V) (instance ?F Friction) (covers ?TC ?W) (instrument ?F ?TC)))))	Cars.kif 4417-4427	If an object is an instance of snow chain, then the object has purpose there exist another object, a third object and a process such that the other object is an instance of road vehicle and the third object is an instance of wheel and the third object is a part of the other object and the process is an instance of friction and the object covers the third object and the object is an instrument for the process
(=> (instance ?V Veneer) (hasPurpose ?V (exists (?OBJ) (covers ?V ?OBJ))))	Mid-level-ontology.kif 5091-5095	If an object is an instance of veneer, then the object has purpose there exists another object such that the object covers the other object

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

KB Term:			Term intersection

English Word: