TreeView 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 29135-29138
(domain covers 1 Object)	Mid-level-ontology.kif 29132-29132	The number 1 argument of covers is an instance of object
(domain covers 2 Object)	Mid-level-ontology.kif 29133-29133	The number 2 argument of covers is an instance of object
(instance covers BinaryPredicate)	Mid-level-ontology.kif 29129-29129	covers is an instance of binary predicate
(instance covers SpatialRelation)	Mid-level-ontology.kif 29131-29131	covers is an instance of spatial relation
(instance covers TransitiveRelation)	Mid-level-ontology.kif 29130-29130	covers is an instance of transitive relation

appearance as argument number 2

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

Mid-level-ontology.kif 29134-29134

antecedent

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

Mid-level-ontology.kif 29140-29144

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 29556-29566	An entity is an instance of body part and Bare is an attribute of the entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of clothing and the other entity covers the entity holds during the time position
(=> (and (instance ?C Covering) (patient ?C ?P) (instrument ?C ?I)) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (covers ?I ?P)))	Mid-level-ontology.kif 29146-29153	If a process is an instance of covering and an entity is a patient of the process and an object is an instrument for the process, then the object covers the entity 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 29538-29551	If Clothed is an attribute of an entity holds during a time position, then there doesn't exist another entity such that the other entity is an instance of reproductive body and the other entity is a part of the entity and there doesn't exist a third entity such that the third entity is an instance of clothing and the third entity covers the other entity holds during the time position
(=> (instance ?BERG Iceberg) (exists (?PART ?WATER) (and (instance ?PART Ice) (most ?PART ?BERG) (instance ?WATER BodyOfWater) (covers ?WATER ?PART))))	Geography.kif 4640-4647	If an entity is an instance of iceberg, then there exist an object and another object such that the object is an instance of ice and the object is most of the entity and the other object is an instance of body of water and the other object covers the object
(=> (instance ?CLOTHING Clothing) (hasPurpose ?CLOTHING (exists (?H ?P) (and (instance ?H Animal) (part ?P ?H) (covers ?CLOTHING ?P)))))	Merge.kif 15632-15639	If a physical is an instance of clothing, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of animal and the other entity is a part of the entity and the physical covers the other entity
(=> (instance ?LAND Shoal) (exists (?PART ?WATER) (and (instance ?PART LandForm) (most ?PART ?LAND) (instance ?WATER BodyOfWater) (covers ?WATER ?PART))))	Geography.kif 5817-5824	If an entity is an instance of shoal, then there exist an object and another object such that the object is an instance of land form and the object is most of the entity and the other object is an instance of body of water and the other object covers the object
(=> (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 4790-4799	If a physical is an instance of tire, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of wheel and the other entity is an instance of rim and the physical is a part of the entity and the other entity is a part of the entity and the physical covers the other entity
(=> (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 4456-4466	If a physical is an instance of snow chain, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of road vehicle and the other entity is an instance of wheel and the other entity is a part of the entity and the third entity is an instance of friction and the physical covers the other entity and the physical is an instrument for the third entity
(=> (instance ?V Veneer) (hasPurpose ?V (exists (?OBJ) (covers ?V ?OBJ))))	Mid-level-ontology.kif 4505-4509	If a physical is an instance of veneer, then the physical has the purpose there exists an entity such that the physical covers the entity

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: