consequent

(=>     (and         (instance ?AS AutomobileShock)         (instance ?C Compressing)         (instance ?H HoleRegion)         (attribute ?F Fluid)         (equal ?AS             (HoleHostFn ?H))         (contains ?AS ?F)         (patient ?C ?AS))     (exists (?T)         (and             (instance ?T Transfer)             (objectTransferred ?T ?F)             (path ?T ?H)             (causes ?C ?T))))	Cars.kif 871-885	If an integer is an instance of shock and a process is an instance of compressing and a hole is an instance of hole and fluid is an attribute of an object and equal the integer and the host of the hole the hole and the integer contains the object and the integer is a patient of the process, then there exists a transfer such that the transfer is an instance of transfer and the object transferred in the transfer is the object and the hole is path along which the transfer occurs and the process causes the transfer
(=>     (and         (instance ?B Barricade)         (partlyLocated ?B ?P))     (hasPurpose ?B         (not             (exists (?T)                 (and                     (instance ?T Translocation)                     (path ?T ?P))))))	MilitaryDevices.kif 2160-2169	If a physical is an instance of barricade and the physical is partly located in an object, then the physical has the purpose there doesn't exist an entity such that the entity is an instance of translocation and the object is path along which the entity occurs
(=>     (and         (instance ?E Entering)         (destination ?E ?F)         (attribute ?F PhysicallyRestrictedRegion)         (not             (entrance ?R ?F)))     (modalAttribute         (path ?E ?R) Prohibition))	Mid-level-ontology.kif 7857-7865	If a process is an instance of entering and the process ends up at a region and physically restricted region is an attribute of the region and not another region is the entrance for the region , then the statement the other region is path along which the process occurs has the modal force of prohibition
(=>     (and         (instance ?E Entering)         (destination ?E ?F)         (attribute ?F PhysicallyRestrictedRegion))     (modalAttribute         (exists (?R)             (and                 (entrance ?R ?F)                 (path ?E ?R))) Obligation))	Mid-level-ontology.kif 7846-7855	If a process is an instance of entering and the process ends up at an object and physically restricted region is an attribute of the object, then the statement there exists an entity such that the entity is the entrance for the object and the entity is path along which the process occurs has the modal force of obligation
(=>     (and         (instance ?E Exiting)         (origin ?E ?F)         (attribute ?F PhysicallyRestrictedRegion)         (not             (entrance ?R ?F)))     (modalAttribute         (path ?E ?R) Prohibition))	Mid-level-ontology.kif 7878-7886	If a process is an instance of exiting and the process originates at a region and physically restricted region is an attribute of the region and not another region is the entrance for the region , then the statement the other region is path along which the process occurs has the modal force of prohibition
(=>     (and         (instance ?E Exiting)         (origin ?E ?F)         (attribute ?F PhysicallyRestrictedRegion))     (modalAttribute         (exists (?R)             (and                 (entrance ?R ?F)                 (path ?E ?R))) Obligation))	Mid-level-ontology.kif 7867-7876	If a process is an instance of exiting and the process originates at an object and physically restricted region is an attribute of the object, then the statement there exists an entity such that the entity is the entrance for the object and the entity is path along which the process occurs has the modal force of obligation
(=>     (and         (instance ?F Facility)         (attribute ?F PhysicallyRestrictedRegion)         (entrance ?R ?F))     (hasPurpose ?R         (exists (?E)             (and                 (or                     (instance ?E Entering)                     (instance ?E Exiting))                 (path ?E ?R)))))	Mid-level-ontology.kif 7811-7822	If a region is an instance of Facility and physically restricted region is an attribute of the region and another region is the entrance for the region , then the other region has the purpose there exists an entity such that the entity is an instance of entering or the entity is an instance of exiting and the other region is path along which the entity occurs
(=>     (and         (instance ?F Facility)         (attribute ?F PhysicallyRestrictedRegion))     (modalAttribute         (exists (?E ?R)             (and                 (or                     (instance ?E Entering)                     (instance ?E Exiting))                 (path ?E ?R)                 (not                     (entrance ?R ?F)))) Unlikely))	Mid-level-ontology.kif 7824-7836	If an object is an instance of Facility and physically restricted region is an attribute of the object, then the statement there exist an entity and another entity such that the entity is an instance of entering or the entity is an instance of exiting and the other entity is path along which the entity occurs and not the other entity is the entrance for the object has the modal force of unlikely
(=>     (and         (instance ?G Gun)         (instance ?B GunBarrel)         (part ?B ?G)         (instance ?S Shooting)         (instrument ?S ?G)         (patient ?S ?P)         (instance ?P Projectile))     (exists (?SUB)         (and             (subProcess ?SUB ?S)             (path ?SUB ?B))))	Mid-level-ontology.kif 1301-1313	If an object is an instance of gun and another object is an instance of gun barrel and the other object is a part of the object and a process is an instance of shooting and the object is an instrument for the process and an entity is a patient of the process and the entity is an instance of projectile, then there exists the processUB such that the processUB is a subprocess of the process and the other object is path along which the processUB occurs
(=>     (and         (instance ?GOING             (TransitFn ?WAY))         (instance ?WAY Transitway))     (path ?GOING ?WAY))	Transportation.kif 1737-1741	If a motion is an instance of the transit of a transitway and the transitway is an instance of transitway, then the transitway is path along which the motion occurs
(=>     (and         (instance ?HARBOR Harbor)         (equipmentCount ?HARBOR ShipBerth ?NUM)         (greaterThan ?NUM 0))     (capability ShipBerthing path ?HARBOR))	Transportation.kif 3776-3781	If an object is an instance of harbor and the object equipment count ship berth for a real number and the real number is greater than 0, then the object is capable of doing ship berthing as a path
(=>     (and         (instance ?PORT PortFacility)         (capability ShipBerthing patient ?PORT))     (exists (?HARBOR)         (and             (instance ?HARBOR Harbor)             (connected ?HARBOR ?PORT)             (capability ShipBerthing path ?HARBOR))))	Transportation.kif 3783-3791	If an object is an instance of port facility and the object is capable of doing ship berthing as a patient, then there exists another object such that the other object is an instance of harbor and the other object is connected to the object and the other object is capable of doing ship berthing as a path
(=>     (and         (instance ?S Shooting)         (instance ?G Gun)         (instrument ?S ?G))     (exists (?E ?GB ?B ?C ?M)         (and             (subProcess ?E ?S)             (instance ?E Exiting)             (eventLocated ?E ?GB)             (instance ?GB GunBarrel)             (part ?GB ?G)             (objectTransferred ?E ?B)             (instance ?B Bullet)             (origin ?B ?C)             (instance ?C BulletCartridge)             (located ?C ?GB)             (path ?E ?GB)             (entrance ?M ?GB)             (instance ?M GunMuzzle))))	Mid-level-ontology.kif 1362-1381	If a process is an instance of shooting and an object is an instance of gun and the object is an instrument for the process, then there exist a transfer, the objectB,, , another object,, , a third object and another region such that the transfer is a subprocess of the process and the transfer is an instance of exiting and the transfer is located at the objectB and the objectB is an instance of gun barrel and the objectB is a part of the object and the object transferred in the transfer is the other object and the other object is an instance of bullet and the other object originates at the third object and the third object is an instance of bullet cartridge and the third object is located at the objectB and the objectB is path along which the transfer occurs and the other region is the entrance for the objectB and the other region is an instance of gun muzzle
(=>     (and         (instance ?S Swallowing)         (agent ?S ?H))     (exists (?M ?E ?ST ?O)         (and             (instance ?M Mouth)             (instance ?E Esophagus)             (instance ?ST Stomach)             (objectTransferred ?S ?O)             (origin ?S ?M)             (destination ?S ?ST)             (path ?S ?E))))	Mid-level-ontology.kif 7528-7540	If a transfer is an instance of swallowing and an agent is an agent of the transfer, then there exist an object, another object,, , the transferT and a third object such that the object is an instance of mouth and the other object is an instance of esophagus and the transferT is an instance of stomach and the object transferred in the transfer is the third object and the transfer originates at the object and the transfer ends up at the transferT and the other object is path along which the transfer occurs
(=>     (and         (instance ?T Transportation)         (instance ?P1 Transitway)         (path ?T ?P1)         (conveyance ?T ?V)         (instance ?J TransitwayJunction)         (part ?J ?P1))     (exists (?P2 ?M)         (and             (instance ?P2 Transitway)             (not                 (equal ?P1 ?P2))             (connects ?J ?P1 ?P2)             (capability Transfer path ?J)             (instance ?M Transfer)             (conveyance ?M ?V)             (meetsTemporally                 (WhenFn ?T)                 (WhenFn ?M))             (modalAttribute                 (path ?M ?P2) Possibility))))	Transportation.kif 3818-3838	If a transportation is an instance of transportation and an object is an instance of transitway and the object is path along which the transportation occurs and a transportation device is a conveyance during the transportation and another object is an instance of transitway junction and the other object is a part of the object, then there exist a third object and another transportation such that the third object is an instance of transitway and equal the object and the third object and the other object connects the object and the third object and the other object is capable of doing transfer as a path and the other transportation is an instance of transfer and the transportation device is a conveyance during the other transportation and the time of existence of the transportation meets the time of existence of the other transportation and the statement the third object is path along which the other transportation occurs has the modal force of possibility
(=>     (and         (instance ?W Transitway)         (attribute ?W BiDirectionalTraffic))     (exists (?P)         (and             (instance ?P Policy)             (confersNorm ?P                 (exists (?T1 ?A ?B)                     (and                         (instance ?T1 Transportation)                         (path ?T1 ?W)                         (instance ?A GeographicArea)                         (origin ?T1 ?A)                         (instance ?B GeographicArea)                         (destination ?T1 ?B)                         (holdsDuring                             (WhenFn ?T1)                             (exists (?T2)                                 (and                                     (instance ?T2 Transportation)                                     (path ?T2 ?W)                                     (origin ?T1 ?B)                                     (destination ?T1 ?A)                                     (not                                         (equal ?T1 ?T2))))))) Permission))))	Transportation.kif 3241-3265	If an object is an instance of transitway and bidirectional traffic is an attribute of the object, then there exists an entity such that the entity is an instance of policy and the entity confers norm there exist another entity, a third entity and a fourth entity such that the other entity is an instance of transportation and the object is path along which the other entity occurs and the third entity is an instance of geographic area and the other entity originates at the third entity and the fourth entity is an instance of geographic area and the other entity ends up at the fourth entity and there exists a fifth entity such that the fifth entity is an instance of transportation and the object is path along which the fifth entity occurs and the other entity originates at the fourth entity and the other entity ends up at the third entity and equal the other entity and the fifth entity holds during the time of existence of the other entity for permission
(=>     (and         (instance ?W Transitway)         (attribute ?W UniDirectionalTraffic))     (exists (?P)         (and             (instance ?P Policy)             (confersNorm ?P                 (exists (?T1 ?A ?B)                     (and                         (instance ?T1 Transportation)                         (path ?T1 ?W)                         (instance ?A GeographicArea)                         (origin ?T1 ?A)                         (instance ?B GeographicArea)                         (destination ?T1 ?B)                         (holdsDuring                             (WhenFn ?T1)                             (exists (?T2)                                 (and                                     (instance ?T2 Transportation)                                     (path ?T2 ?W)                                     (origin ?T1 ?B)                                     (destination ?T1 ?A)                                     (not                                         (equal ?T1 ?T2))))))) Prohibition))))	Transportation.kif 3274-3298	If an object is an instance of transitway and unidirectional traffic is an attribute of the object, then there exists an entity such that the entity is an instance of policy and the entity confers norm there exist another entity, a third entity and a fourth entity such that the other entity is an instance of transportation and the object is path along which the other entity occurs and the third entity is an instance of geographic area and the other entity originates at the third entity and the fourth entity is an instance of geographic area and the other entity ends up at the fourth entity and there exists a fifth entity such that the fifth entity is an instance of transportation and the object is path along which the fifth entity occurs and the other entity originates at the fourth entity and the other entity ends up at the third entity and equal the other entity and the fifth entity holds during the time of existence of the other entity for prohibition
(=>     (and         (navigableForDraft ?WATERWAY             (MeasureFn ?AMOUNT Meter))         (ladenDraft ?SHIP             (MeasureFn ?DRAFT Meter))         (greaterThan ?AMOUNT ?DRAFT))     (capability         (TripFn ?SHIP) path ?WATERWAY))	Transportation.kif 3183-3188	If a real number meter(s) is a &avigableForDraft$"navigable" for draft of a water area and another real number meter(s) is a laden draft of a water vehicle and the real number is greater than the other real number, then the water area is capable of doing the trip of the water vehicle as a path
(=>     (and         (navigableForDraft ?WATERWAY             (MeasureFn ?AMOUNT Meter))         (ladenDraft ?SHIP             (MeasureFn ?DRAFT Meter))         (lessThanOrEqualTo ?AMOUNT ?DRAFT))     (not         (capability             (TripFn ?SHIP) path ?WATERWAY)))	Transportation.kif 3190-3195	If a real number meter(s) is a &avigableForDraft$"navigable" for draft of a water area and another real number meter(s) is a laden draft of a water vehicle and the real number is less than or equal to the other real number, then the water area is not capable of doing the trip of the water vehicle as a path
(=>     (and         (navigableForShippingTonnage ?WATERWAY             (MeasureFn ?TONNAGE LongTon))         (instance ?VESSEL WaterVehicle)         (vesselDisplacement ?VESSEL             (MeasureFn ?DWT LongTon))         (lessThanOrEqualTo ?DWT ?TONNAGE))     (capability         (TripFn ?VESSEL) path ?WATERWAY))	Transportation.kif 3167-3173	If a real number long ton(s) is a &avigableForShippingTonnage$"navigable" for shipping tonnage of a water area and a water vehicle is an instance of water vehicle and another real number long ton(s) is a vessel displacement of the water vehicle and the other real number is less than or equal to the real number, then the water area is capable of doing the trip of the water vehicle as a path
(=>     (instance ?B Bowling)     (exists (?BALL ?TRANS ?LANE)         (and             (instance ?TRANS Translocation)             (instance ?BALL BowlingBall)             (patient ?TRANS ?BALL)             (instance ?LANE BowlingLane)             (path ?TRANS ?LANE)             (subProcess ?TRANS ?B))))	Sports.kif 1121-1130	If a process is an instance of bowling, then there exist the processALL, a motion and an object such that the motion is an instance of translocation and the processALL is an instance of bowling ball and the processALL is a patient of the motion and the object is an instance of bowling lane and the object is path along which the motion occurs and the motion is a subprocess of the process
(=>     (instance ?B Bridge)     (hasPurpose ?B         (exists (?T ?X)             (and                 (instance ?T Translocation)                 (path ?T ?B)                 (orientation ?B ?X Above)                 (or                     (instance ?X LandArea)                     (instance ?X BodyOfWater))))))	Transportation.kif 1751-1761	If a physical is an instance of bridge, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of translocation and the physical is path along which the entity occurs and the physical is above to the other entity and the other entity is an instance of land area or the other entity is an instance of body of water
(=>     (instance ?BC BloodCirculation)     (exists (?O ?V ?A ?B)         (and             (instance ?O Animal)             (instance ?B Blood)             (moves ?BC ?B)             (instance ?A Artery)             (instance ?V Vein)             (part ?A ?O)             (part ?V ?O)             (path ?BC ?A)             (path ?BC ?V))))	Medicine.kif 480-492	If a motion is an instance of blood circulation, then there exist an object, another object,, , a third object and a fourth object such that the object is an instance of animal and the fourth object is an instance of blood and the fourth object moves during the motion and the third object is an instance of artery and the other object is an instance of vein and the third object is a part of the object and the other object is a part of the object and the third object is path along which the motion occurs and the other object is path along which the motion occurs
(=>     (instance ?BL BowlingLane)     (hasPurpose ?BL         (exists (?TR ?BALL)             (and                 (instance ?TR Translocation)                 (instance ?BALL BowlingBall)                 (patient ?TR ?BALL)                 (path ?TR ?BL)))))	Sports.kif 1160-1168	If a physical is an instance of bowling lane, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of translocation and the other entity is an instance of bowling ball and the other entity is a patient of the entity and the physical is path along which the entity occurs
(=>     (instance ?C Catheter)     (hasPurpose ?C         (exists (?M ?O ?OBJ ?L)             (and                 (instance ?O Organism)                 (instance ?M Motion)                 (moves ?M ?OBJ)                 (orientation ?L ?O Outside)                 (path ?M ?C)                 (or                     (and                         (origin ?M ?L)                         (destination ?M ?O))                     (and                         (origin ?M ?O)                         (destination ?M ?L)))))))	Medicine.kif 538-554	If a physical is an instance of cannula, then the physical has the purpose there exist an entity, another entity,, , the other entityBJ and a fourth entity such that the other entity is an instance of organism and the entity is an instance of motion and the other entityBJ moves during the entity and the fourth entity is outside to the other entity and the physical is path along which the entity occurs and the entity originates at the fourth entity and the entity ends up at the other entity or the entity originates at the other entity and the entity ends up at the fourth entity
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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