consequent

(=>     (and         (instance ?C CavalryUnit)         (instance ?B Battle)         (agent ?B ?C))     (exists (?P ?V ?T)         (and             (attribute ?P Soldier)             (member ?P ?C)             (instance ?T Transportation)             (agent ?T ?P)             (instance ?V Vehicle)             (patient ?T ?V)             (during ?T ?B))))	Mid-level-ontology.kif 9588-9601	If an agent is an instance of CavalryUnit and a time interval is an instance of battle and the agent is an agent of the time interval, then there exist another agent, an entity and another time interval such that Soldier is an attribute of the other agent and the other agent is a member of the agent and the other time interval is an instance of transportation and the other agent is an agent of the other time interval and the entity is an instance of Vehicle and the entity is a patient of the other time interval and the other time interval takes place during the time interval
(=>     (and         (instance ?C Convoy)         (member ?X1 ?C)         (member ?X2 ?C)         (not             (equal ?X1 ?X2)))     (exists (?P1 ?P2 ?D)         (and             (instance ?P1 Transportation)             (instance ?P2 Transportation)             (agent ?P1 ?X1)             (agent ?P2 ?X2)             (destination ?P1 ?D)             (destination ?P2 ?D))))	Military.kif 108-122	If a collection is an instance of Convoy and an agent is a member of the collection and another agent is a member of the collection and equal the agent and the other agent, then there exist a process, another process and an entity such that the process is an instance of transportation and the other process is an instance of transportation and the agent is an agent of the process and the other agent is an agent of the other process and the process ends up at the entity and the other process ends up at the entity
(=>     (and         (instance ?EV Evacuation)         (origin ?EV ?O)         (agent ?EV ?A))     (exists (?T ?TA)         (and             (instance ?T Transportation)             (destination ?T ?O)             (or                 (subOrganization ?TA ?A)                 (member ?TA ?A)                 (equal ?TA ?A))             (or                 (agent ?T ?TA)                 (patient ?T ?TA)))))	MilitaryProcesses.kif 2588-2603	If a process is an instance of Evacuation and the process originates at an object and an organization is an agent of the process, then there exist another process and the other processA such that the other process is an instance of transportation and the other process ends up at the object and the other processA is a part of the organization the organization or the other processA is a member of the organization or equal the other processA and the organization and the other processA is an agent of the other process or the other processA is a patient of the other process
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG AirTransportationIndustry))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?P)                 (and                     (instance ?EV Selling)                     (instance ?P Human)                     (patient ?EV ?P)                     (confersRight                         (exists (?FLY ?PLANE ?OBJ)                             (and                                 (instance ?FLY Transportation)                                 (or                                     (patient ?FLY ?P)                                     (and                                         (possesses ?P ?OBJ)                                         (patient ?FLY ?OBJ)                                         (instance ?OBJ Object)))                                 (possesses ?ORG ?PLANE)                                 (instance ?PLANE Aircraft))) ?MEM ?P))))))	naics.kif 7953-7978	If a collection is an instance of organization and AirTransportationIndustry is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity, the cognitive agentLANE and a third entity such that the entity is an instance of transportation and the cognitive agent is a patient of the entity or the cognitive agent possesses the third entity and the third entity is a patient of the entity and the third entity is an instance of object and the collection possesses the cognitive agentLANE and the cognitive agentLANE is an instance of Aircraft
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG CouriersAndMessengers))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?P ?OBJ)                 (and                     (instance ?EV Selling)                     (instance ?OBJ Object)                     (instance ?P Human)                     (patient ?EV ?P)                     (confersRight                         (exists (?TRANS)                             (and                                 (instance ?TRANS Transportation)                                 (possesses ?P ?OBJ)                                 (patient ?TRANS ?OBJ))) ?MEM ?P))))))	naics.kif 8736-8756	If a collection is an instance of organization and CouriersAndMessengers is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist a cognitive agent and an entity such that the agent is an instance of selling and the entity is an instance of object and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of transportation and the cognitive agent possesses the entity and the entity is a patient of the other entity
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG PipelineTransportation))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?P)                 (and                     (instance ?EV Selling)                     (instance ?P Human)                     (patient ?EV ?P)                     (confersRight                         (exists (?T ?V ?OBJ ?PIPE)                             (and                                 (instance ?T Transportation)                                 (possesses ?P ?OBJ)                                 (patient ?T ?OBJ)                                 (instance ?OBJ Substance)                                 (possesses ?ORG ?V)                                 (instrument ?T ?PIPE)                                 (instance ?PIPE Pipeline))) ?MEM ?P))))))	naics.kif 8465-8488	If a collection is an instance of organization and PipelineTransportation is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity, another entity,, , a third entity and the cognitive agentIPE such that the entity is an instance of transportation and the cognitive agent possesses the third entity and the third entity is a patient of the entity and the third entity is an instance of substance and the collection possesses the other entity and the cognitive agentIPE is an instrument for the entity and the cognitive agentIPE is an instance of Pipeline
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG PostalService))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?P ?OBJ)                 (and                     (instance ?EV Selling)                     (instance ?OBJ Object)                     (instance ?P Human)                     (patient ?EV ?P)                     (confersRight                         (exists (?TRANS)                             (and                                 (instance ?TRANS Transportation)                                 (possesses ?P ?OBJ)                                 (patient ?TRANS ?OBJ))) ?MEM ?P))))))	naics.kif 8707-8727	If a collection is an instance of organization and PostalService is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist a cognitive agent and an entity such that the agent is an instance of selling and the entity is an instance of object and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of transportation and the cognitive agent possesses the entity and the entity is a patient of the other entity
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG RailTransportation))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?P)                 (and                     (instance ?EV Selling)                     (instance ?P Human)                     (patient ?EV ?P)                     (confersRight                         (exists (?MOVE ?RR ?OBJ)                             (and                                 (instance ?MOVE Transportation)                                 (or                                     (patient ?MOVE ?P)                                     (and                                         (possesses ?P ?OBJ)                                         (patient ?MOVE ?OBJ)                                         (instance ?OBJ Object)))                                 (possesses ?ORG ?RR)                                 (instance ?RR RailVehicle))) ?MEM ?P))))))	naics.kif 8034-8059	If a collection is an instance of organization and RailTransportation is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity, another entity and a third entity such that the entity is an instance of transportation and the cognitive agent is a patient of the entity or the cognitive agent possesses the third entity and the third entity is a patient of the entity and the third entity is an instance of object and the collection possesses the other entity and the other entity is an instance of RailVehicle
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG ScenicAndSightseeingTransportation))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?P)                 (and                     (instance ?EV Selling)                     (instance ?P Human)                     (patient ?EV ?P)                     (confersRight                         (exists (?TRANS ?VEH)                             (and                                 (instance ?TRANS Transportation)                                 (instance ?TRANS RecreationOrExercise)                                 (patient ?TRANS ?P)                                 (possesses ?ORG ?VEH)                                 (instance ?VEH Vehicle))) ?MEM ?P))))))	naics.kif 8528-8549	If a collection is an instance of organization and ScenicAndSightseeingTransportation is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity and another entity such that the entity is an instance of transportation and the entity is an instance of recreation or exercise and the cognitive agent is a patient of the entity and the collection possesses the other entity and the other entity is an instance of Vehicle
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG TransitAndGroundPassengerTransportation))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?P)                 (and                     (instance ?EV Selling)                     (instance ?P Human)                     (patient ?EV ?P)                     (confersRight                         (exists (?T ?V)                             (and                                 (instance ?T Transportation)                                 (patient ?T ?P)                                 (possesses ?ORG ?V)                                 (instance ?V LandVehicle))) ?MEM ?P))))))	naics.kif 8344-8364	If a collection is an instance of organization and TransitAndGroundPassengerTransportation is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity and another entity such that the entity is an instance of transportation and the cognitive agent is a patient of the entity and the collection possesses the other entity and the other entity is an instance of LandVehicle
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG TruckTransportation))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?P)                 (and                     (instance ?EV Selling)                     (instance ?P Human)                     (patient ?EV ?P)                     (confersRight                         (exists (?T ?V ?OBJ)                             (and                                 (instance ?T Transportation)                                 (possesses ?P ?OBJ)                                 (patient ?T ?OBJ)                                 (instance ?OBJ Object)                                 (possesses ?ORG ?V)                                 (instance ?V LandVehicle))) ?MEM ?P))))))	naics.kif 8253-8275	If a collection is an instance of organization and TruckTransportation is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity, another entity and a third entity such that the entity is an instance of transportation and the cognitive agent possesses the third entity and the third entity is a patient of the entity and the third entity is an instance of object and the collection possesses the other entity and the other entity is an instance of LandVehicle
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG WaterTransportationIndustry))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?P)                 (and                     (instance ?EV Selling)                     (instance ?P Human)                     (patient ?EV ?P)                     (confersRight                         (exists (?T ?V ?OBJ)                             (and                                 (instance ?T Transportation)                                 (or                                     (patient ?T ?P)                                     (and                                         (possesses ?P ?OBJ)                                         (patient ?T ?OBJ)                                         (instance ?OBJ Object)))                                 (possesses ?ORG ?V)                                 (instance ?V WaterVehicle))) ?MEM ?P))))))	naics.kif 8080-8105	If a collection is an instance of organization and WaterTransportationIndustry is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity, another entity and a third entity such that the entity is an instance of transportation and the cognitive agent is a patient of the entity or the cognitive agent possesses the third entity and the third entity is a patient of the entity and the third entity is an instance of object and the collection possesses the other entity and the other entity is an instance of WaterVehicle
(=>     (and         (instance ?VEHICLE CargoVehicle)         (instance ?O Human))     (not         (modalAttribute             (exists (?T)                 (and                     (instance ?T Transportation)                     (patient ?T ?O)                     (instrument ?T ?VEHICLE))) Possibility)))	Transportation.kif 1905-1915	If an entity is an instance of CargoVehicle and another entity is an instance of human, then the statement there exists a third entity such that the third entity is an instance of transportation and the other entity is a patient of the third entity and the entity is an instrument for the third entity doesn't have the modal force of Possibility
(=>     (and         (instance ?VEHICLE PassengerVehicle)         (instance ?HUMAN Human))     (modalAttribute         (exists (?T)             (and                 (instance ?T Transportation)                 (patient ?T ?HUMAN)                 (instrument ?T ?VEHICLE))) Possibility))	Transportation.kif 1887-1897	If an entity is an instance of PassengerVehicle and another entity is an instance of human, then the statement there exists a third entity such that the third entity is an instance of transportation and the other entity is a patient of the third entity and the entity is an instrument for the third entity 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 BiDirectionalTraffic is an attribute of the object, then there exists an entity such that the entity is an instance of Policy and confersNorm the entity, 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 and 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 UniDirectionalTraffic is an attribute of the object, then there exists an entity such that the entity is an instance of Policy and confersNorm the entity, 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 and Prohibition
(=>     (and         (maximumPayloadCapacity ?V             (MeasureFn ?WEIGHT ?UNITWEIGHT))         (maximumPayloadHeightWidth ?V             (MeasureFn ?HEIGHT ?UNITHEIGHT)             (MeasureFn ?WIDTH ?UNITWIDTH))         (instance ?O SelfConnectedObject)         (weight ?O             (MeasureFn ?WEO ?WEOU))         (width ?O             (MeasureFn ?WO ?WOU))         (height ?O             (MeasureFn ?HO ?HOU))         (equal ?WEOU ?UNITWEIGHT)         (equal ?WOU ?UNITWIDTH)         (equal ?HOU ?UNITHEIGHT)         (lessThanOrEqualTo ?WEO ?WEIGHT)         (lessThanOrEqualTo ?WO ?WIDTH)         (lessThanOrEqualTo ?HO ?HEIGHT))     (capability         (KappaFn ?TRANSPORT             (and                 (instance ?TRANSPORT Transportation)                 (patient ?TRANSPORT ?O))) instrument ?V))	MilitaryDevices.kif 144-169	If maximumPayloadCapacity a Vehicle and a real number an unit of measure(s) and maximumPayloadHeightWidth the Vehicle, another real number another unit of measure(s) and a third real number a third unit of measure(s) and a self connected object is an instance of self connected object and weight the self connected object and a fourth real number the fourth real numberU(s) and the width of the self connected object is a fifth real number the fifth real numberU(s) and the height of the self connected object is a sixth real number the sixth real numberU(s) and equal the fourth real numberU and the unit of measure and equal the fifth real numberU and the third unit of measure and equal the sixth real numberU and the other unit of measure and the fourth real number is less than or equal to the real number and the fifth real number is less than or equal to the third real number and the sixth real number is less than or equal to the other real number, then the Vehicle is capable of doing the class described by a symbolic string as a instrument
(=>     (and         (trafficableForTrafficType ?PLACE ?TYPE)         (subclass ?TYPE TransportationDevice)         (instance ?MOVER ?TYPE))     (capableAtLocation Transportation instrument ?MOVER ?PLACE))	Transportation.kif 3140-3145	If trafficableForTrafficType a region and a kind of self connected object and a kind of self connected object is a subclass of transportation device and an object is an instance of the kind of self connected object, then capableAtLocation transportation, instrument, the object and the region
(=>     (instance ?A Ambulance)     (hasPurpose ?A         (exists (?P ?T)             (and                 (instance ?P Human)                 (or                     (attribute ?P DiseaseOrSyndrome)                     (exists (?I ?H)                         (and                             (instance ?I Injuring)                             (experiencer ?I ?H)                             (before ?I ?T))))                 (instance ?T Transportation)                 (instrument ?T ?A)                 (patient ?T ?H)))))	Transportation.kif 2045-2060	If a physical is an instance of Ambulance, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of human and disease or syndrome is an attribute of the entity or there exist a third entity and a fourth entity such that the third entity is an instance of injuring and the fourth entity experiences the third entity and the third entity happens before the other entity and the other entity is an instance of transportation and the physical is an instrument for the other entity and the fourth entity is a patient of the other entity
(=>     (instance ?AP AirPump)     (hasPurpose ?AP         (exists (?T ?A)             (and                 (instance ?T Transportation)                 (instance ?A Air)                 (instrument ?T ?AP)                 (patient ?T ?A)))))	Mid-level-ontology.kif 27154-27162	If a physical is an instance of AirPump, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transportation and the other entity is an instance of Air and the physical is an instrument for the entity and the other entity is a patient of the entity
(=>     (instance ?ATV AllTerrainVehicle)     (hasPurpose ?ATV         (exists (?D ?L)             (and                 (instance ?D Transportation)                 (instrument ?D ?ATV)                 (holdsDuring                     (WhenFn ?D)                     (orientation ?ATV ?L On))                 (not                     (instance ?L Roadway))))))	Cars.kif 4829-4839	If a physical is an instance of AllTerrainVehicle, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transportation and the physical is an instrument for the entity and the physical is On to the other entity holds during the time of existence of the entity and the other entity is not an instance of Roadway
(=>     (instance ?B Bomber)     (hasPurpose ?B         (exists (?T ?D)             (and                 (instance ?T Transportation)                 (instrument ?T ?B)                 (patient ?T ?D)                 (instance ?D ExplosiveDevice)))))	Military.kif 254-262	If a physical is an instance of Bomber, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transportation and the physical is an instrument for the entity and the other entity is a patient of the entity and the other entity is an instance of ExplosiveDevice
(=>     (instance ?B Bus)     (hasPurpose ?B         (exists (?C ?T ?N ?P)             (and                 (instance ?C Collection)                 (instance ?T Transportation)                 (memberCount ?C ?N)                 (greaterThan ?N 11)                 (=>                     (member ?P ?C)                     (patient ?T ?P))))))	Transportation.kif 2111-2122	If a physical is an instance of Bus, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of collection and the other entity is an instance of transportation and memberCount the entity and the third entity and the third entity is greater than 11 and if the fourth entity is a member of the entity, then the fourth entity is a patient of the other entity
(=>     (instance ?C TransportationCompany)     (exists (?S)         (and             (instance ?S CommercialService)             (agent ?S ?C)             (instance ?S Transportation))))	Mid-level-ontology.kif 8336-8342	If an agent is an instance of TransportationCompany, then there exists a process such that the process is an instance of CommercialService and the agent is an agent of the process and the process is an instance of transportation
(=>     (instance ?CAR PassengerRailcar)     (exists (?CARRY)         (capability             (KappaFn ?CARRY                 (and                     (instance ?CARRY Transportation)                     (exists (?HUMAN)                         (and                             (instance ?HUMAN Human)                             (patient ?CARRY ?HUMAN))))) instrument ?CAR)))	Transportation.kif 2301-2311	If an object is an instance of PassengerRailcar, then there exists the objectRY such that the object is capable of doing the class described by the objectRY as a instrument
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