TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Vehicle ChineseLanguage "Vehicle 是 TransportationDevice 子类别，它通过自身从一处移动往别处，同时也把乘客或货物和它一同从一处运载到另外一处，如：汽车、卡车、渡轮和飞机。它和通过移动部件把东西从一处带到另外一处的设备如：导管、自动扶梯或超市用的结账运输带对比，而不需把设备从源处移到目的地。")	chinese_format.kif 3625-3627
(documentation Vehicle EnglishLanguage "Vehicle is the subclass of TransportationDevices that transport passengers or goods from one place to another by moving from one place to the other with them, e.g., cars, trucks, ferries, and airplanes. Contrast with devices such as pipelines, escalators, or supermarket checkout belts, which carry items from one place to another by means of a moving part, without the device removing from the origin to the destination.")	Merge.kif 16047-16054
(externalImage Vehicle "http://upload.wikimedia.org/wikipedia/en/9/91/Trikke_HPV.JPG")	pictureList.kif 6957-6957
(externalImage Vehicle "http://upload.wikimedia.org/wikipedia/en/9/9b/Luxury_Car_2.jpg")	pictureList.kif 8214-8214
(externalImage Vehicle "http://upload.wikimedia.org/wikipedia/ja/5/56/Himiko.JPG")	pictureList-ImageNet.kif 589-589
(subclass Vehicle TransportationDevice)	Merge.kif 16046-16046	Vehicle is a subclass of transportation device

appearance as argument number 2

(subclass AgentPoweredVehicle Vehicle)	Transportation.kif 1811-1811	Agent powered vehicle is a subclass of vehicle
(subclass Aircraft Vehicle)	Mid-level-ontology.kif 17844-17844	Aircraft is a subclass of vehicle
(subclass ArmoredVehicle Vehicle)	MilitaryDevices.kif 1596-1596	Armored vehicle is a subclass of vehicle
(subclass CargoVehicle Vehicle)	Transportation.kif 1760-1760	Cargo vehicle is a subclass of vehicle
(subclass DamagedVehicle Vehicle)	Mid-level-ontology.kif 30116-30116	Damaged vehicle is a subclass of vehicle
(subclass LandVehicle Vehicle)	Mid-level-ontology.kif 3458-3458	Land vehicle is a subclass of vehicle
(subclass MilitaryVehicle Vehicle)	Military.kif 131-131	Military vehicle is a subclass of vehicle
(subclass PassengerVehicle Vehicle)	Transportation.kif 1742-1742	Passenger vehicle is a subclass of vehicle
(subclass PoweredVehicle Vehicle)	Transportation.kif 1793-1793	Powered vehicle is a subclass of vehicle
(subclass RecreationalVehicle Vehicle)	Mid-level-ontology.kif 25796-25796	Camper is a subclass of vehicle
(subclass Spacecraft Vehicle)	Mid-level-ontology.kif 17738-17738	Spacecraft is a subclass of vehicle
(subclass UnpoweredVehicle Vehicle)	Transportation.kif 1783-1783	Unpowered vehicle is a subclass of vehicle
(subclass WaterVehicle Vehicle)	Mid-level-ontology.kif 3476-3476	Water vehicle is a subclass of vehicle
(termFormat ChineseLanguage Vehicle "车辆")	domainEnglishFormat.kif 61348-61348
(termFormat ChineseTraditionalLanguage Vehicle "車輛")	domainEnglishFormat.kif 61347-61347
(termFormat EnglishLanguage Vehicle "vehicle")	domainEnglishFormat.kif 61346-61346
(typicalPart Alternator Vehicle)	Cars.kif 1211-1211	A alternator is typically a part of a vehicle
(typicallyContainsPart Alternator Vehicle)	Cars.kif 1212-1212	A vehicle typically has a part alternator

appearance as argument number 3

(domain TripFn 1 Vehicle)	Transportation.kif 1583-1583	The number 1 argument of trip is an instance of vehicle
(domain maximumPayloadCapacity 1 Vehicle)	MilitaryDevices.kif 81-81	The number 1 argument of maximum payload capacity is an instance of vehicle
(domain maximumPayloadHeightWidth 1 Vehicle)	MilitaryDevices.kif 109-109	The number 1 argument of maximum payload height width is an instance of vehicle
(domain onboard 2 Vehicle)	Mid-level-ontology.kif 17429-17429	The number 2 argument of onboard is an instance of vehicle
(domain topSpeed 1 Vehicle)	Transportation.kif 1710-1710	The number 1 argument of top speed is an instance of vehicle

antecedent

(=> (and (instance ?B VehicleBrake) (instance ?V Vehicle) (part ?B ?V)) (hasPurpose ?B (exists (?S) (and (instance ?S (StopFn Motion)) (patient ?S ?V) (instrument ?S ?B)))))	Mid-level-ontology.kif 3409-3419	If an object is an instance of vehicle brake and another object is an instance of vehicle and the object is a part of the other object, then the object has the purpose there exists an entity such that the entity is an instance of the stop of motion and the other object is a patient of the entity and the object is an instrument for the entity
(=> (and (instance ?BP BrakePedal) (instance ?P Pushing) (instance ?V Vehicle) (destination ?P ?BP) (eventLocated ?P ?V) (part ?BP ?V)) (hasPurpose ?BP (exists (?FS ?F) (and (instance ?FS WearingFrictionSurface) (instance ?F Friction) (instrument ?F ?FS) (causes ?P ?F)))))	Cars.kif 693-707	If an object is an instance of brake pedal and a process is an instance of pushing and another object is an instance of vehicle and the process ends up at the object and the process is located at the other object and the object is a part of the other object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of wearing friction surface and the other entity is an instance of friction and the entity is an instrument for the other entity and the process causes the other entity
(=> (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING) (instance ?TRANSPORT Transportation) (instance ?VEHICLE Vehicle) (patient ?DRIVING ?VEHICLE)) (conveyance ?TRANSPORT ?VEHICLE))	Mid-level-ontology.kif 23643-23650	If a process is an instance of driving and a transportation is a subprocess of the process and the transportation is an instance of transportation and a transportation device is an instance of vehicle and the transportation device is a patient of the process, then the transportation device is a conveyance during the transportation
(=> (and (instance ?EG EngineGovernor) (instance ?V Vehicle) (connectedEngineeringComponents ?EG ?V) (governorSpeed ?E (MeasureFn ?S MilesPerHour))) (hasPurpose ?EG (not (exists (?T ?M) (and (instance ?T Translocation) (holdsDuring (WhenFn ?T) (and (measure ?V (MeasureFn ?M MilesPerHour)) (greaterThan ?M ?S))))))))	Cars.kif 2940-2956	If an engineering component is an instance of governor and another engineering component is an instance of vehicle and the engineering component is connected to the other engineering component and the maximum speed allowed by a governor is a real number miles per hour(s), then the engineering component has the purpose there don't exist an entity and another entity such that the entity is an instance of translocation and the measure of the other engineering component is the other entity miles per hour(s) and the other entity is greater than the real number holds during the time of existence of the entity
(=> (and (instance ?P ParkingBrake) (instance ?V Vehicle) (holdsDuring ?T1 (attribute ?P DeviceOn)) (part ?P ?V)) (hasPurpose ?P (holdsDuring ?T1 (not (exists (?T) (and (instance ?T Translocation) (patient ?T ?V)))))))	Cars.kif 567-580	If an object is an instance of parking brake and another object is an instance of vehicle and device on is an attribute of the object holds during a time position and the object is a part of the other object, then the object has the purpose there doesn't exist an entity such that the entity is an instance of translocation and the other object is a patient of the entity holds during the time position
(=> (and (instance ?TRANSPORT Vehicle) (instance ?MOVE Translocation) (instrument ?MOVE ?TRANSPORT) (destination ?MOVE ?TO)) (holdsDuring (BeginFn (WhenFn ?MOVE)) (located ?TRANSPORT ?TO)))	Merge.kif 16064-16070	If an object is an instance of vehicle and a process is an instance of translocation and the object is an instrument for the process and the process ends up at an entity, then the object is located at the entity holds during the beginning of the time of existence of the process
(=> (and (instance ?TRANSPORT Vehicle) (instance ?MOVE Translocation) (instrument ?MOVE ?TRANSPORT) (origin ?MOVE ?FROM)) (holdsDuring (BeginFn (WhenFn ?MOVE)) (located ?TRANSPORT ?FROM)))	Merge.kif 16056-16062	If an object is an instance of vehicle and a process is an instance of translocation and the object is an instrument for the process and the process originates at another object, then the object is located at the other object holds during the beginning of the time of existence of the process
(=> (and (instance ?WEAPON Weapon) (part ?WEAPON ?MV) (instance ?MV Vehicle)) (instance ?MV MilitaryVehicle))	MilitaryDevices.kif 61-66	If an object is an instance of weapon and the object is a part of another object and the other object is an instance of vehicle, then the other object is an instance of military vehicle
(=> (and (passenger ?PROC ?PASS) (instance ?V Vehicle) (instrument ?PROC ?V)) (not (exists (?G) (and (during (WhenFn ?G) (WhenFn ?PROC)) (instance ?G Guiding) (agent ?G ?PASS) (instrument ?G ?V)))))	Mid-level-ontology.kif 30796-30807	If an agent is a passenger in a transfer and an object is an instance of vehicle and the object is an instrument for the transfer, then there doesn't exist a process such that the time of existence of the process takes place during the time of existence of the transfer and the process is an instance of guiding and the agent is an agent of the process and the object is an instrument for the process

consequent

(<=> (instance ?DV DamagedVehicle) (and (instance ?DV Vehicle) (attribute ?DV DeviceDamaged)))	Mid-level-ontology.kif 30118-30122	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 17407-17411	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 17448-17452	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 8414-8427	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 1852-1864	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 22386-22398	If a physical is an instance of convoy, then there exist an entity, another entity and a time position such that the entity is not equal to 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 3382-3387	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 11665-11670	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 3509-3511	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 21942-21947	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 3071-3076	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 3082-3087	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 3060-3065	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 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 5014-5025	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 2353-2355	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 3392-3404	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 3366-3372	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 3439-3444	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 15203-15211	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 3660-3689	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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

KB Term:			Term intersection

English Word: