consequent

(<=>     (instance ?DV DamagedVehicle)     (and         (instance ?DV Vehicle)         (attribute ?DV DeviceDamaged)))	Mid-level-ontology.kif 31972-31976	An object is an instance of damaged vehicle if and only if the object is an instance of vehicle and device damaged is an attribute of the object
(=>     (and         (instance ?B Boarding)         (patient ?B ?V))     (instance ?V Vehicle))	Mid-level-ontology.kif 18917-18921	If a process is an instance of boarding and an entity is a patient of the process, then the entity is an instance of vehicle
(=>     (and         (instance ?B Deboarding)         (patient ?B ?VEHICLE))     (instance ?VEHICLE Vehicle))	Mid-level-ontology.kif 18958-18962	If a process is an instance of deboarding and an entity is a patient of the process, then the entity is an instance of vehicle
(=>     (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 cavalry unit 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 ?ITEM Object)         (instance ?LISTING WebListing)         (attribute ?LISTING ForSaleByOwner)         (patient ?LISTING ?ITEM))     (instance ?ITEM Vehicle))	UXExperimentalTerms.kif 373-379	If an entity is an instance of object and an object is an instance of web listing and FSBO is an attribute of the object and the entity is a patient of the object, then the entity is an instance of 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 8528-8549	If a collection is an instance of organization and scenic and sightseeing transportation 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 ?W Wagon)         (instance ?T Transportation)         (instrument ?T ?W))     (exists (?P)         (and             (instance ?T Pulling)             (agent ?T ?P)             (patient ?T ?W)             (or                 (instance ?P DomesticAnimal)                 (instance ?P Vehicle)))))	Transportation.kif 1991-2003	If an object is an instance of wagon and a process is an instance of transportation and the object is an instrument for the process, then there exists an agent such that the process is an instance of pulling and the agent is an agent of the process and the object is a patient of the process and the agent is an instance of domestic animal or the agent is an instance of vehicle
(=>     (attribute ?H Valet)     (hasPurpose ?H         (and             (instance ?VEHICLE Vehicle)             (instance ?PUT Putting)             (destination ?PUT ?PARK)             (instance ?PARK ParkingRegion)             (patient ?PUT ?VEHICLE)             (agent ?PUT ?H))))	TransportDetail.kif 136-145	If valet is an attribute of an object, then the object has the purpose an entity is an instance of vehicle and another entity is an instance of putting and the other entity ends up at a third entity and the third entity is an instance of parking area and the entity is a patient of the other entity and the object is an agent of the other entity
(=>     (instance ?C Convoy)     (exists (?V1 ?V2 ?TIME)         (and             (not                 (equal ?V1 ?V2))             (instance ?V1 Vehicle)             (instance ?V2 Vehicle)             (instance ?TIME TimeInterval)             (temporalPart ?TIME                 (WhenFn ?C))             (holdsDuring ?TIME                 (and                     (member ?V1 ?C)                     (member ?V2 ?C))))))	Mid-level-ontology.kif 23966-23978	If a physical is an instance of convoy, then there exist an entity, another entity and a time position such that equal the entity and the other entity and the entity is an instance of vehicle and the other entity is an instance of vehicle and the time position is an instance of time interval and the time position is a part of the time of existence of the physical and the entity is a member of the physical and the other entity is a member of the physical holds during the time position
(=>     (instance ?C VehicleController)     (exists (?V)         (and             (instance ?V Vehicle)             (part ?C ?V))))	Mid-level-ontology.kif 3832-3837	If an object is an instance of vehicle controller, then there exists another object such that the other object is an instance of vehicle and the object is a part of the other object
(=>     (instance ?DRIVE Driving)     (exists (?VEHICLE)         (and             (instance ?VEHICLE Vehicle)             (patient ?DRIVE ?VEHICLE))))	Merge.kif 11791-11796	If a process is an instance of driving, then there exists an entity such that the entity is an instance of vehicle and the entity is a patient of the process
(=>     (instance ?FLEET Fleet)     (memberType ?FLEET Vehicle))	Mid-level-ontology.kif 3959-3961	If a collection is an instance of Fleet, then vehicle is a member type of the collection
(=>     (instance ?H Hijacking)     (exists (?V)         (and             (instance ?V Vehicle)             (patient ?H ?V))))	Mid-level-ontology.kif 23524-23529	If a process is an instance of hijacking, then there exists an entity such that the entity is an instance of vehicle and the entity is a patient of the process
(=>     (instance ?L Headlight)     (exists (?V)         (and             (instance ?V Vehicle)             (part ?L                 (FrontFn ?V)))))	Mid-level-ontology.kif 3521-3526	If an object is an instance of headlight, then there exists a self connected object such that the self connected object is an instance of vehicle and the object is a part of the front of the self connected object
(=>     (instance ?L Taillight)     (exists (?V)         (and             (instance ?V Vehicle)             (part ?L                 (BackFn ?V)))))	Mid-level-ontology.kif 3532-3537	If an object is an instance of taillight, then there exists a self connected object such that the self connected object is an instance of vehicle and the object is a part of the back of the self connected object
(=>     (instance ?L VehicleLight)     (exists (?V)         (and             (instance ?V Vehicle)             (part ?L ?V))))	Mid-level-ontology.kif 3510-3515	If an object is an instance of vehicle light, then there exists another object such that the other object is an instance of vehicle and the object is a part of the other object
(=>     (instance ?S Speedometer)     (hasPurpose ?S         (exists (?V ?T ?SPEED ?DIST ?TIME ?M)             (and                 (instance ?V Vehicle)                 (part ?S ?V)                 (instance ?T Translocation)                 (instrument ?T ?V)                 (measure ?T ?SPEED)                 (equal ?SPEED                     (SpeedFn ?DIST ?TIME))                 (instance ?M Measuring)                 (instrument ?M ?S)                 (measurementReading ?M ?SPEED)))))	Cars.kif 3018-3032	If a physical is an instance of speedometer, then the physical has the purpose there exist an entity, another entity,, , the physicalPEED,, , a fourth entity,, , the other entityIME and a sixth entity such that the entity is an instance of vehicle and the physical is a part of the entity and the other entity is an instance of translocation and the entity is an instrument for the other entity and the measure of the other entity is the physicalPEED and equal the physicalPEED and the fourth entity per the other entityIME and the sixth entity is an instance of measuring and the physical is an instrument for the sixth entity and the physicalPEED is a measurement reading of the sixth entity
(=>     (instance ?S VehicleSeat)     (hasPurpose ?S         (exists (?H ?T ?V)             (and                 (instance ?H Human)                 (instance ?V Vehicle)                 (holdsDuring ?T                     (and                         (attribute ?H Sitting)                         (located ?H ?S)                         (located ?S ?V)))))))	Cars.kif 5090-5101	If a physical is an instance of vehicle seat, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of human and the third entity is an instance of vehicle and sitting is an attribute of the entity and the entity is located at the physical and the physical is located at the third entity holds during the other entity
(=>     (instance ?SHIP VehicleCarrierShip)     (cargoType ?SHIP Vehicle))	Transportation.kif 2522-2524	If a transportation device is an instance of vehicle carrier ship, then vehicle is a cargo type of the transportation device
(=>     (instance ?SVC TransportationService)     (exists (?VEHICLE ?AGENT ?TRANS ?CUST)         (and             (agent ?SVC ?AGENT)             (possesses ?AGENT ?VEHICLE)             (customer ?CUST ?AGENT)             (instance ?VEHICLE Vehicle)             (instance ?TRANS Transportation)             (agent ?TRANS ?AGENT)             (patient ?TRANS ?CUST)             (instrument ?TRANS ?VEHICLE)             (subProcess ?TRANS ?SVC))))	Transportation.kif 4479-4491	If a process is an instance of transportation service, then there exist an object, an agent,, , another process and a cognitive agent such that the agent is an agent of the process and the agent possesses the object and the agent is a customer of the cognitive agent and the object is an instance of vehicle and the other process is an instance of transportation and the agent is an agent of the other process and the cognitive agent is a patient of the other process and the object is an instrument for the other process and the other process is a subprocess of the process
(=>     (instance ?VSD VehicleSafetyDevice)     (hasPurpose ?VSD         (exists (?V)             (and                 (instance ?V Vehicle)                 (part ?VSD ?V)))))	Cars.kif 3442-3448	If a physical is an instance of vehicle safety device, then the physical has the purpose there exists an entity such that the entity is an instance of vehicle and the physical is a part of the entity
(=>     (instance ?W VehicleWindow)     (exists (?V)         (and             (instance ?V Vehicle)             (part ?W ?V))))	Mid-level-ontology.kif 3889-3894	If an object is an instance of vehicle window, then there exists another object such that the other object is an instance of vehicle and the object is a part of the other object
(=>     (instance ?W Window)     (exists (?A)         (and             (part ?W ?A)             (or                 (instance ?A Building)                 (instance ?A Room)                 (instance ?A Vehicle)))))	Mid-level-ontology.kif 16538-16546	If an object is an instance of window, then there exists another object such that the object is a part of the other object and the other object is an instance of building or the other object is an instance of room or the other object is an instance of vehicle
(=>     (instance ?X SeatBelt)     (hasPurpose ?X         (exists (?PERSON ?STOP ?VEHICLE ?M)             (and                 (instance ?VEHICLE Vehicle)                 (part ?X ?VEHICLE)                 (instance ?PERSON Human)                 (contains ?VEHICLE ?PERSON)                 (instance ?STOP Process)                 (prevents ?STOP                     (KappaFn ?M                         (and                             (instance ?M Translocation)                             (patient ?M ?PERSON)                             (exists (?COLLISION)                                 (and                                     (or                                         (instance ?COLLISION Decelerating)                                         (instance ?COLLISION Impacting))                                     (experiencer ?COLLISION ?VEHICLE)                                     (causes ?COLLISION ?M)))                             (modalAttribute                                 (exists (?INJ ?IMP)                                     (and                                         (instance ?INJ Injuring)                                         (instance ?IMP Impacting)                                         (causes ?M ?INJ)                                         (patient ?INJ ?PERSON)                                         (subProcess ?IMP ?INJ))) Possibility))))))))	Cars.kif 3736-3765	If a physical is an instance of seat belt, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the third entity is an instance of vehicle and the physical is a part of the third entity and the entity is an instance of human and the third entity contains the entity and the other entity is an instance of process and the other entity prevents the occurrence of the class described by the fourth 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