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 32082-32092	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)))	Merge.kif 16089-16096	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         (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 32010-32021	If barefoot is an attribute of an entity and another entity is an instance of foot and the other entity is a part of the entity holds during a time position, then 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
(=>     (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 32064-32077	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 6215-6222	If an object is an instance of iceberg, then there exist another object and a third object such that the other object is an instance of ice and the other object is most of the object and the third object is an instance of body of water and the third object covers the other object
(=>     (instance ?CLOTHING Clothing)     (hasPurpose ?CLOTHING         (exists (?H ?P)             (and                 (instance ?H Animal)                 (part ?P ?H)                 (covers ?CLOTHING ?P)))))	Merge.kif 16112-16119	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 7456-7463	If an object is an instance of shoal, then there exist another object and a third object such that the other object is an instance of land form and the other object is most of the object and the third object is an instance of body of water and the third object covers the other 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 4848-4857	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 4514-4524	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 5227-5231	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 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