| appearance as argument number 1 |
|
| (instance covers BinaryPredicate) | Merge.kif 16072-16072 | covers is an instance of binary predicate |
| (instance covers TransitiveRelation) | Merge.kif 16073-16073 | covers is an instance of transitive relation |
| (instance covers SpatialRelation) | Merge.kif 16074-16074 | covers is an instance of spatial relation |
| (domain covers 1 Object) | Merge.kif 16075-16075 | The number 1 argument of covers is an instance of object |
| (domain covers 2 Object) | Merge.kif 16076-16076 | The number 2 argument of covers is an instance of object |
| (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 16078-16081 | The number 2 argument of covers is an instance of object |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage covers "%1 covers %2") | Merge.kif 16077-16077 | |
| (termFormat EnglishLanguage covers "covers") | domainEnglishFormat.kif 65794-65794 |
| antecedent |
|
|
| (=> (and (covers ?A ?B) (superficialPart ?S ?B)) (meetsSpatially ?A ?S)) |
Merge.kif 16083-16087 | If X covers Y and Z is a superficial part of Y, then X meets Z |
| (=> (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 32783-32794 | If there doesn't exist X such that X is an instance of clothing, X covers Y, Y is an instance of foot, and Y is a part of Z holds during W, then barefoot is an attribute of Z holds during W |
| consequent |
|
|
| (=> (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 4531-4541 | If X is an instance of snow chain, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of road vehicle (3) Z is an instance of wheel (4) Z is a part of Y (5) W is an instance of friction (6) X covers Z (7) X is an instrument for W |
| (=> (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 4865-4874 | If X is an instance of tire, then X has the purpose there exist Y, Z such that Y is an instance of wheel, Z is an instance of rim, X is a part of Y, Z is a part of Y, and X covers Z |
| (=> (instance ?BERG Iceberg) (exists (?PART ?WATER) (and (instance ?PART Ice) (most ?PART ?BERG) (instance ?WATER BodyOfWater) (covers ?WATER ?PART)))) |
Geography.kif 6300-6307 | If X is an instance of iceberg, then there exist Y, Z such that Y is an instance of ice, Y is most of X, Z is an instance of body of water, and Z covers Y |
| (=> (instance ?LAND Shoal) (exists (?PART ?WATER) (and (instance ?PART LandForm) (most ?PART ?LAND) (instance ?WATER BodyOfWater) (covers ?WATER ?PART)))) |
Geography.kif 7541-7548 | If X is an instance of shoal, then there exist Y, Z such that Y is an instance of land form, Y is most of X, Z is an instance of body of water, and Z covers Y |
| (=> (and (instance ?C Covering) (patient ?C ?P) (instrument ?C ?I)) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (covers ?I ?P))) |
Merge.kif 16089-16096 | If X is an instance of covering, Y is a patient of X, and Z is an instrument for X, then Z covers Y holds during immediately after the time of existence of X |
| (=> (instance ?CLOTHING Clothing) (hasPurpose ?CLOTHING (exists (?H ?P) (and (instance ?H Animal) (part ?P ?H) (covers ?CLOTHING ?P))))) |
Merge.kif 16112-16119 | If X is an instance of clothing, then X has the purpose there exist Y, Z such that Y is an instance of animal, Z is a part of Y, and X covers Z |
| (=> (instance ?V Veneer) (hasPurpose ?V (exists (?OBJ) (covers ?V ?OBJ)))) |
Mid-level-ontology.kif 5250-5254 | If X is an instance of veneer, then X has the purpose there exists Y such that X covers Y |
| (=> (instance ?B Eyeball) (exists (?S ?L1 ?L2) (and (instance ?S Eyesocket) (properlyFills ?B ?S) (instance ?L1 UpperEyelid) (instance ?L2 LowerEyelid) (covers ?L1 ?B)))) |
Mid-level-ontology.kif 13583-13591 | If X is an instance of eye ball, then there exist Y, Z, W such that Y is an instance of eye socket, X properly fills Y, Z is an instance of upper eye lid, W is an instance of lower eye lid, and Z covers X |
| (=> (holdsDuring ?T (and (attribute ?A Barefoot) (instance ?F Foot) (part ?F ?A))) (holdsDuring ?T (not (exists (?C) (and (instance ?C Clothing) (covers ?C ?F)))))) |
Mid-level-ontology.kif 32770-32781 | If barefoot is an attribute of X, Y is an instance of foot, and Y is a part of X holds during Z, then there doesn't exist W such that W is an instance of clothing and W covers Y holds during Z |
| (=> (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 32824-32837 | If clothed is an attribute of X holds during Y, then there doesn't exist Z such that Z is an instance of reproductive body, Z is a part of X, there doesn't exist W such that W is an instance of clothing, and W covers Z holds during Y |
| (<=> (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 32842-32852 | X is an instance of body part, bare is an attribute of X holds during Y if, only if there doesn't exist Z such that Z is an instance of clothing, and Z covers X holds during Y |
|
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 3.0 is open source software produced by Articulate Software and its partners