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 5562-5575	If an agent is an instance of cavalry unit and a process is an instance of battle and agent is an agent of process then there exist a self connected object an entity and and process so that soldier is an attribute of self connected object and self connected object is a member of agent and process is an instance of transportation and self connected object is an agent of process and entity is an instance of vehicle and entity is a patient of process and process takes place during process
(=>     (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 a self connected object is a member of collection and self connected object is a member of collection and self connected object is not equal to self connected object then there exist a process process and and an entity so that process is an instance of transportation and process is an instance of transportation and self connected object is an agent of process and self connected object is an agent of process and process ends at entity and process ends at 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 2515-2530	If a process is an instance of evacuation and process originates at an object and an organization is an agent of process then there exist process and processA so that process is an instance of transportation and process ends at object and processA is a part of the organization organization or processA is a member of organization or processA is equal to organization and processA is an agent of process or processA is a patient of 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)                             (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 7926-7951	If a collection is an instance of organization and air transportation industry is an attribute of collection then there exist an agent and a self connected object so that self connected object is a member of collection and agent is an agent of self connected object and there exists a cognitive agent so that agent is an instance of selling and cognitive agent is an instance of human and cognitive agent is a patient of agent and self connected object allows cognitive agent to perform task of the type there exist a process and cognitive agentLANE so that process is an instance of transportation and cognitive agent is a patient of process or cognitive agent possesses object and object is a patient of process and object is an instance of object and collection possesses cognitive agentLANE and 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 8625-8645	If a collection is an instance of organization and couriers and messengers is an attribute of collection then there exist an agent and a self connected object so that self connected object is a member of collection and agent is an agent of self connected object and there exist a cognitive agent and an object so that agent is an instance of selling and object is an instance of object and cognitive agent is an instance of human and cognitive agent is a patient of agent and self connected object allows cognitive agent to perform task of the type there exists a process so that process is an instance of transportation and cognitive agent possesses object and object is a patient of process
(=>     (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)                             (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 8354-8377	If a collection is an instance of organization and pipeline transportation is an attribute of collection then there exist an agent and a self connected object so that self connected object is a member of collection and agent is an agent of self connected object and there exists a cognitive agent so that agent is an instance of selling and cognitive agent is an instance of human and cognitive agent is a patient of agent and self connected object allows cognitive agent to perform task of the type there exist a process and an object so that process is an instance of transportation and cognitive agent possesses object and object is a patient of process and object is an instance of substance and collection possesses object and cognitive agentIPE is an instrument for process and 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 8596-8616	If a collection is an instance of organization and postal service is an attribute of collection then there exist an agent and a self connected object so that self connected object is a member of collection and agent is an agent of self connected object and there exist a cognitive agent and an object so that agent is an instance of selling and object is an instance of object and cognitive agent is an instance of human and cognitive agent is a patient of agent and self connected object allows cognitive agent to perform task of the type there exists a process so that process is an instance of transportation and cognitive agent possesses object and object is a patient of process
(=>     (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)                             (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 8007-8032	If a collection is an instance of organization and rail transportation is an attribute of collection then there exist an agent and a self connected object so that self connected object is a member of collection and agent is an agent of self connected object and there exists a cognitive agent so that agent is an instance of selling and cognitive agent is an instance of human and cognitive agent is a patient of agent and self connected object allows cognitive agent to perform task of the type there exist a process and an object so that process is an instance of transportation and cognitive agent is a patient of process or cognitive agent possesses object and object is a patient of process and object is an instance of object and collection possesses object and object is an instance of rail vehicle
(=>     (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 8417-8438	If a collection is an instance of organization and scenic and sightseeing transportation is an attribute of collection then there exist an agent and a self connected object so that self connected object is a member of collection and agent is an agent of self connected object and there exists a cognitive agent so that agent is an instance of selling and cognitive agent is an instance of human and cognitive agent is a patient of agent and self connected object allows cognitive agent to perform task of the type there exist a process and an object so that process is an instance of transportation and process is an instance of recreation or exercise and cognitive agent is a patient of process and collection possesses object and object 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 8233-8253	If a collection is an instance of organization and transit and ground passenger transportation is an attribute of collection then there exist an agent and a self connected object so that self connected object is a member of collection and agent is an agent of self connected object and there exists a cognitive agent so that agent is an instance of selling and cognitive agent is an instance of human and cognitive agent is a patient of agent and self connected object allows cognitive agent to perform task of the type there exist a process and an object so that process is an instance of transportation and cognitive agent is a patient of process and collection possesses object and object is an instance of land vehicle
(=>     (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)                             (and                                 (instance ?T Transportation)                                 (possesses ?P ?OBJ)                                 (patient ?T ?OBJ)                                 (instance ?OBJ Object)                                 (possesses ?ORG ?V)                                 (instance ?V LandVehicle))) ?MEM ?P))))))	naics.kif 8142-8164	If a collection is an instance of organization and truck transportation is an attribute of collection then there exist an agent and a self connected object so that self connected object is a member of collection and agent is an agent of self connected object and there exists a cognitive agent so that agent is an instance of selling and cognitive agent is an instance of human and cognitive agent is a patient of agent and self connected object allows cognitive agent to perform task of the type there exist a process and an object so that process is an instance of transportation and cognitive agent possesses object and object is a patient of process and object is an instance of object and collection possesses object and object is an instance of land vehicle
(=>     (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)                             (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 8053-8078	If a collection is an instance of organization and water transportation industry is an attribute of collection then there exist an agent and a self connected object so that self connected object is a member of collection and agent is an agent of self connected object and there exists a cognitive agent so that agent is an instance of selling and cognitive agent is an instance of human and cognitive agent is a patient of agent and self connected object allows cognitive agent to perform task of the type there exist a process and an object so that process is an instance of transportation and cognitive agent is a patient of process or cognitive agent possesses object and object is a patient of process and object is an instance of object and collection possesses object and object is an instance of water vehicle
(=>     (and         (instance ?VEHICLE CargoVehicle)         (instance ?OB             (KappaFn ?O                 (not                     (instance ?O Human)))))     (capability Transportation patient ?OB))	Transportation.kif 1903-1910	If an entity is an instance of cargo vehicle and a class is an instance of the class described by ?O then class is capable to do transportation in role patient
(=>     (and         (instance ?VEHICLE PassengerVehicle)         (instance ?HUMAN Human))     (capability Transportation patient ?HUMAN))	Transportation.kif 1890-1894	If an entity is an instance of passenger vehicle and an object is an instance of human then object is capable to do transportation in role patient
(=>     (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 143-168	If a vehicle can carry a payload weighing up to a real number an unit of measure(s). and vehicle can carry a payload measuring up to real number unit of measure(s) high and a real number a unit of measure(s) wide. and a self connected object is an instance of self connected object and a real number real numberU(s) is a weight of self connected object and the width of self connected object is a real number real numberU(s) and the height of self connected object is a real number real numberU(s) and real numberU is equal to unit of measure and real numberU is equal to unit of measure and real numberU is equal to unit of measure and real number is less than or equal to real number and real number is less than or equal to real number and real number is less than or equal to real number then vehicle is capable to do the class described by ?TRANSPORT in role instrument
(=>     (and         (trafficableForTrafficType ?PLACE ?TYPE)         (subclass ?TYPE TransportationDevice)         (instance ?MOVER ?TYPE))     (capableAtLocation Transportation instrument ?MOVER ?PLACE))	Transportation.kif 2482-2487	If a self connected object is a trafficable for traffic type of a region and a self connected object is a subclass of transportation device and an object is an instance of self connected object then transportation capable at location instrument for object with region
(=>     (instance ?A Ambulance)     (hasPurpose ?A         (exists (?P ?T)             (and                 (instance ?P Human)                 (or                     (attribute ?P DiseaseOrSyndrome)                     (exists (?I)                         (and                             (instance ?I Injuring)                             (experiencer ?I ?H)                             (before ?I ?T))))                 (instance ?T Transportation)                 (instrument ?T ?A)                 (patient ?T ?H)))))	Transportation.kif 1997-2012	If an object is an instance of ambulance then object has purpose there exist object and a time point so that object is an instance of human and disease or syndrome is an attribute of object or there exists a process so that process is an instance of injuring and an agent experiences process and process happens before time point and time point is an instance of transportation and object is an instrument for time point and agent is a patient of time point
(=>     (instance ?B Bomber)     (hasPurpose ?B         (exists (?T ?D)             (and                 (instance ?T Transportation)                 (instrument ?T ?B)                 (patient ?T ?D)                 (instance ?D ExplosiveDevice)))))	Mid-level-ontology.kif 11398-11406	If an object is an instance of bomber then object has purpose there exist a process and an entity so that process is an instance of transportation and object is an instrument for process and entity is a patient of process and entity is an instance of explosive device
(=>     (instance ?B Bus)     (hasPurpose ?B         (exists (?C ?T ?N)             (and                 (instance ?C Collection)                 (instance ?T Transportation)                 (memberCount ?C ?N)                 (greaterThan ?N 11)                 (=>                     (member ?P ?C)                     (patient ?T ?P))))))	Mid-level-ontology.kif 11587-11598	If a physical is an instance of bus then physical has purpose there exist a collection a process and and an integer so that collection is an instance of collection and process is an instance of transportation and integer is a member count of collection and integer is greater than 11 and if a self connected object is a member of collection then self connected object is a patient of process
(=>     (instance ?C TransportationCompany)     (exists (?S)         (and             (instance ?S CommercialService)             (agent ?S ?C)             (instance ?S Transportation))))	Mid-level-ontology.kif 4581-4587	If an agent is an instance of transportation company then there exists a process so that process is an instance of commercial service and agent is an agent of process and process is an instance of transportation
(=>     (instance ?CAR PassengerRailcar)     (capability         (KappaFn ?CARRY             (and                 (instance ?CARRY Transportation)                 (exists (?HUMAN)                     (and                         (instance ?HUMAN Human)                         (patient ?CARRY ?HUMAN))))) instrument ?CAR))	Transportation.kif 2106-2115	If an object is an instance of passenger railcar then object is capable to do the class described by objectRY in role instrument
(=>     (instance ?COMPANY RailroadCompany)     (exists (?SERVICE ?TRAIN)         (and             (instance ?SERVICE CommercialService)             (agent ?SERVICE ?COMPANY)             (instance ?SERVICE Transportation)             (instrument ?SERVICE ?TRAIN)             (instance ?TRAIN Train))))	Mid-level-ontology.kif 5081-5089	If an agent is an instance of railroad company then there exist a process and an object so that process is an instance of commercial service and agent is an agent of process and process is an instance of transportation and object is an instrument for process and object is an instance of train
(=>     (instance ?DEVICE TransportationDevice)     (capability Transportation instrument ?DEVICE))	Merge.kif 12933-12935	If an object is an instance of transportation device then object is capable to do transportation in role instrument
(=>     (instance ?E Elevator)     (hasPurpose ?E         (exists (?T ?L1 ?L2 ?B)             (and                 (instance ?T Transportation)                 (origin ?T ?L1)                 (instance ?L1 BuildingLevel)                 (destination ?T ?L2)                 (instance ?L2 BuildingLevel)                 (not                     (equal ?L1 ?L2))                 (part ?L1 ?B)                 (part ?L2 ?B)                 (instance ?B Building)))))	Mid-level-ontology.kif 9423-9436	If a physical is an instance of elevator then physical has purpose there exist a process an object, object and and a object so that process is an instance of transportation and process originates at object and object is an instance of building level and process ends at object and object is an instance of building level and object is not equal to object and object is a part of object and object is a part of object and object is an instance of building
(=>     (instance ?T MilitaryFoodTruck)     (capability         (KappaFn ?P             (and                 (instance ?P Transportation)                 (instance ?F                     (FoodForFn Animal))                 (patient ?P ?F))) instrument ?T))	Military.kif 147-155	If an object is an instance of military food truck then object is capable to do the class described by ?P in role instrument
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      SUMO web home
Sigma version 2.8b (2010/03/15) is open source software produced by Articulate Software and its partners