Vehicle - Sigma 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 15975-15982
(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 15974-15974	Vehicle ist eine teilkategorie von TransportationDevice

appearance as argument number 2

(subclass AgentPoweredVehicle Vehicle)	Transportation.kif 1811-1811	AgentPoweredVehicle ist eine teilkategorie von Vehicle
(subclass Aircraft Vehicle)	Mid-level-ontology.kif 17817-17817	Aircraft ist eine teilkategorie von Vehicle
(subclass ArmoredVehicle Vehicle)	MilitaryDevices.kif 1596-1596	ArmoredVehicle ist eine teilkategorie von Vehicle
(subclass CargoVehicle Vehicle)	Transportation.kif 1760-1760	CargoVehicle ist eine teilkategorie von Vehicle
(subclass DamagedVehicle Vehicle)	Mid-level-ontology.kif 30092-30092	DamagedVehicle ist eine teilkategorie von Vehicle
(subclass LandVehicle Vehicle)	Mid-level-ontology.kif 3465-3465	LandVehicle ist eine teilkategorie von Vehicle
(subclass MilitaryVehicle Vehicle)	Military.kif 131-131	MilitaryVehicle ist eine teilkategorie von Vehicle
(subclass PassengerVehicle Vehicle)	Transportation.kif 1742-1742	PassengerVehicle ist eine teilkategorie von Vehicle
(subclass PoweredVehicle Vehicle)	Transportation.kif 1793-1793	PoweredVehicle ist eine teilkategorie von Vehicle
(subclass RecreationalVehicle Vehicle)	Mid-level-ontology.kif 25763-25763	RecreationalVehicle ist eine teilkategorie von Vehicle
(subclass Spacecraft Vehicle)	Mid-level-ontology.kif 17711-17711	Spacecraft ist eine teilkategorie von Vehicle
(subclass UnpoweredVehicle Vehicle)	Transportation.kif 1783-1783	UnpoweredVehicle ist eine teilkategorie von Vehicle
(subclass WaterVehicle Vehicle)	Mid-level-ontology.kif 3483-3483	WaterVehicle ist eine teilkategorie von Vehicle
(termFormat ChineseLanguage Vehicle "车辆")	domainEnglishFormat.kif 61346-61346
(termFormat ChineseTraditionalLanguage Vehicle "車輛")	domainEnglishFormat.kif 61345-61345
(termFormat EnglishLanguage Vehicle "vehicle")	domainEnglishFormat.kif 61344-61344
(typicalPart Alternator Vehicle)	Cars.kif 1211-1211	typicalPart Alternator and Vehicle
(typicallyContainsPart Alternator Vehicle)	Cars.kif 1212-1212	typicallyContainsPart Alternator and Vehicle

appearance as argument number 3

(domain TripFn 1 Vehicle)	Transportation.kif 1583-1583	Die Zahl 1 Argument von TripFn ist ein fall von Vehicle %n{nicht}
(domain maximumPayloadCapacity 1 Vehicle)	MilitaryDevices.kif 81-81	Die Zahl 1 Argument von maximumPayloadCapacity ist ein fall von Vehicle %n{nicht}
(domain maximumPayloadHeightWidth 1 Vehicle)	MilitaryDevices.kif 109-109	Die Zahl 1 Argument von maximumPayloadHeightWidth ist ein fall von Vehicle %n{nicht}
(domain onboard 2 Vehicle)	Mid-level-ontology.kif 17402-17402	Die Zahl 2 Argument von onboard ist ein fall von Vehicle %n{nicht}
(domain topSpeed 1 Vehicle)	Transportation.kif 1710-1710	Die Zahl 1 Argument von topSpeed ist ein fall von Vehicle %n{nicht}

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 3416-3426	Wenn Object ist ein fall von VehicleBrake %n{nicht} und Object ist ein fall von Vehicle %n{nicht} und Object ist ein teil von Object %n{nicht}, dann Object hat Zweck von es gibt entity um entity ist ein fall von StopFn Motion %n{nicht} und Object ist ein patient von entity %n{nicht} und Object ist ein instrument fuer ** entity %n{nicht} %n{nicht}
(=> (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	Wenn Object ist ein fall von BrakePedal %n{nicht} und Process ist ein fall von Pushing %n{nicht} und Object ist ein fall von Vehicle %n{nicht} und Process endet an Object %n{nicht} und eventLocated Process and Object und Object ist ein teil von Object %n{nicht}, dann Object hat Zweck von es gibt entity und entity um entity ist ein fall von WearingFrictionSurface %n{nicht} und entity ist ein fall von Friction %n{nicht} und entity ist ein instrument fuer entity %n{nicht} und Process verursacht entity %n{nicht} %n{nicht}
(=> (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING) (instance ?TRANSPORT Transportation) (instance ?VEHICLE Vehicle) (patient ?DRIVING ?VEHICLE)) (conveyance ?TRANSPORT ?VEHICLE))	Mid-level-ontology.kif 23591-23598	Wenn Process ist ein fall von Driving %n{nicht} und Transportation ist ein subProzess von Process und Transportation ist ein fall von Transportation %n{nicht} und TransportationDevice ist ein fall von Vehicle %n{nicht} und TransportationDevice ist ein patient von Process %n{nicht}, dann conveyance Transportation and TransportationDevice
(=> (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 2957-2973	Wenn EngineeringComponent ist ein fall von EngineGovernor %n{nicht} und EngineeringComponent ist ein fall von Vehicle %n{nicht} und EngineeringComponent wird mit EngineeringComponent angeschlossen und governorSpeed SpeedGovernor and RealNumber MilesPerHour(s), dann EngineeringComponent hat Zweck von es gibt nicht entity und entity um entity ist ein fall von Translocation %n{nicht} und das mass von EngineeringComponent ist entity MilesPerHour(s) %n{nicht} und entity ist groesserAls RealNumber %n{nicht} haelt waehrend die zeit des Bestehens von ** entity %n{nicht} %n{nicht}
(=> (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	Wenn Object ist ein fall von ParkingBrake %n{nicht} und Object ist ein fall von Vehicle %n{nicht} und DeviceOn ist ein attribut von Object %n{nicht} haelt waehrend TimePosition %n{nicht} und Object ist ein teil von Object %n{nicht}, dann Object hat Zweck von es gibt nicht entity um entity ist ein fall von Translocation %n{nicht} und Object ist ein patient von entity %n{nicht} haelt waehrend ** TimePosition %n{nicht} %n{nicht}
(=> (and (instance ?TRANSPORT Vehicle) (instance ?MOVE Translocation) (instrument ?MOVE ?TRANSPORT) (destination ?MOVE ?TO)) (holdsDuring (BeginFn (WhenFn ?MOVE)) (located ?TRANSPORT ?TO)))	Merge.kif 15992-15998	Wenn Object ist ein fall von Vehicle %n{nicht} und Process ist ein fall von Translocation %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Process endet an Entity %n{nicht}, dann Object befindet sich an %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht}
(=> (and (instance ?TRANSPORT Vehicle) (instance ?MOVE Translocation) (instrument ?MOVE ?TRANSPORT) (origin ?MOVE ?FROM)) (holdsDuring (BeginFn (WhenFn ?MOVE)) (located ?TRANSPORT ?FROM)))	Merge.kif 15984-15990	Wenn Object ist ein fall von Vehicle %n{nicht} und Process ist ein fall von Translocation %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Process beginnet an Object %n{nicht}, dann Object befindet sich an %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von Process %n{nicht}
(=> (and (instance ?WEAPON Weapon) (part ?WEAPON ?MV) (instance ?MV Vehicle)) (instance ?MV MilitaryVehicle))	MilitaryDevices.kif 61-66	Wenn Object ist ein fall von Weapon %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von Vehicle %n{nicht}, dann Object ist ein fall von MilitaryVehicle %n{nicht}
(=> (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 30772-30783	Wenn passenger Transfer and AutonomousAgent und Object ist ein fall von Vehicle %n{nicht} und Object ist ein instrument fuer Transfer %n{nicht}, dann es gibt nicht Process um die zeit des Bestehens von Process geschieht waehrend die zeit des Bestehens von Transfer %n{nicht} und Process ist ein fall von Guiding %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Object ist ein instrument fuer ** Process %n{nicht}

consequent

(<=> (instance ?DV DamagedVehicle) (and (instance ?DV Vehicle) (attribute ?DV DeviceDamaged)))	Mid-level-ontology.kif 30094-30098	Object ist ein fall von DamagedVehicle %n{nicht} genau dann wenn Object ist ein fall von Vehicle %n{nicht} und DeviceDamaged ist ein attribut von Object %n{nicht}
(=> (and (instance ?B Boarding) (patient ?B ?V)) (instance ?V Vehicle))	Mid-level-ontology.kif 17380-17384	Wenn Process ist ein fall von Boarding %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Entity ist ein fall von Vehicle %n{nicht}
(=> (and (instance ?B Deboarding) (patient ?B ?VEHICLE)) (instance ?VEHICLE Vehicle))	Mid-level-ontology.kif 17421-17425	Wenn Process ist ein fall von Deboarding %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Entity ist ein fall von Vehicle %n{nicht}
(=> (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 8387-8400	Wenn AutonomousAgent ist ein fall von CavalryUnit %n{nicht} und TimeInterval ist ein fall von Battle %n{nicht} und TimeInterval ist der agent von AutonomousAgent %n{nicht}, dann es gibt AutonomousAgent, Entity, and und TimeInterval um Soldier ist ein attribut von AutonomousAgent %n{nicht} und AutonomousAgent ist ein Mitglied von AutonomousAgent %n{nicht} und TimeInterval ist ein fall von Transportation %n{nicht} und TimeInterval ist der agent von AutonomousAgent %n{nicht} und Entity ist ein fall von Vehicle %n{nicht} und Entity ist ein patient von TimeInterval %n{nicht} und TimeInterval geschieht waehrend TimeInterval %n{nicht}
(=> (and (instance ?ITEM Object) (instance ?LISTING WebListing) (attribute ?LISTING ForSaleByOwner) (patient ?LISTING ?ITEM)) (instance ?ITEM Vehicle))	UXExperimentalTerms.kif 373-379	Wenn Entity ist ein fall von Object %n{nicht} und Object ist ein fall von WebListing %n{nicht} und ForSaleByOwner ist ein attribut von Object %n{nicht} und Entity ist ein patient von Object %n{nicht}, dann Entity ist ein fall von Vehicle %n{nicht}
(=> (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	Wenn Collection ist ein fall von Organization %n{nicht} und ScenicAndSightseeingTransportation ist ein attribut von Collection %n{nicht}, dann es gibt AutonomousAgent und Process um Process ist ein Mitglied von Collection %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und es gibt CognitiveAgent um AutonomousAgent ist ein fall von Selling %n{nicht} und CognitiveAgent ist ein fall von Human %n{nicht} und CognitiveAgent ist ein patient von AutonomousAgent %n{nicht} und Process erlaubt CognitiveAgent, die Aufgabe der Art von es gibt entity und entity um entity ist ein fall von Transportation %n{nicht} und entity ist ein fall von RecreationOrExercise %n{nicht} und CognitiveAgent ist ein patient von entity %n{nicht} und Collection besitzt entity %n{nicht} und ** entity ist ein fall von Vehicle %n{nicht} durchzuf�hren %n{nicht}
(=> (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	Wenn Object ist ein fall von Wagon %n{nicht} und Process ist ein fall von Transportation %n{nicht} und Object ist ein instrument fuer Process %n{nicht}, dann es gibt AutonomousAgent um Process ist ein fall von Pulling %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Object ist ein patient von Process %n{nicht} und AutonomousAgent ist ein fall von DomesticAnimal %n{nicht} oder ** AutonomousAgent ist ein fall von Vehicle %n{nicht}
(=> (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 132-141	Wenn Valet ist ein attribut von Object %n{nicht}, dann Object hat Zweck von entity ist ein fall von Vehicle %n{nicht} und entity ist ein fall von Putting %n{nicht} und entity endet an entity %n{nicht} und entity ist ein fall von ParkingRegion %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist der agent von ** Object %n{nicht} %n{nicht}
(=> (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 22334-22346	Wenn Physical ist ein fall von Convoy %n{nicht}, dann es gibt Entity, Entity, and und TimePosition um Entity ist gleich Entity nicht und Entity ist ein fall von Vehicle %n{nicht} und Entity ist ein fall von Vehicle %n{nicht} und TimePosition ist ein fall von TimeInterval %n{nicht} und TimePosition ist ein teil von die zeit des Bestehens von Physical %n{nicht} und Entity ist ein Mitglied von Physical %n{nicht} und Entity ist ein Mitglied von Physical %n{nicht} haelt waehrend TimePosition %n{nicht}
(=> (instance ?C VehicleController) (exists (?V) (and (instance ?V Vehicle) (part ?C ?V))))	Mid-level-ontology.kif 3389-3394	Wenn Object ist ein fall von VehicleController %n{nicht}, dann es gibt Object um Object ist ein fall von Vehicle %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (instance ?DRIVE Driving) (exists (?VEHICLE) (and (instance ?VEHICLE Vehicle) (patient ?DRIVE ?VEHICLE))))	Merge.kif 11619-11624	Wenn Process ist ein fall von Driving %n{nicht}, dann es gibt Entity um Entity ist ein fall von Vehicle %n{nicht} und Entity ist ein patient von ** Process %n{nicht}
(=> (instance ?FLEET Fleet) (memberType ?FLEET Vehicle))	Mid-level-ontology.kif 3516-3518	Wenn Collection ist ein fall von Fleet %n{nicht}, dann memberType ** Collection and Vehicle
(=> (instance ?H Hijacking) (exists (?V) (and (instance ?V Vehicle) (patient ?H ?V))))	Mid-level-ontology.kif 21890-21895	Wenn Process ist ein fall von Hijacking %n{nicht}, dann es gibt Entity um Entity ist ein fall von Vehicle %n{nicht} und Entity ist ein patient von ** Process %n{nicht}
(=> (instance ?L Headlight) (exists (?V) (and (instance ?V Vehicle) (part ?L (FrontFn ?V)))))	Mid-level-ontology.kif 3078-3083	Wenn Object ist ein fall von Headlight %n{nicht}, dann es gibt SelfConnectedObject um SelfConnectedObject ist ein fall von Vehicle %n{nicht} und Object ist ein teil von die frontseite von ** SelfConnectedObject %n{nicht}
(=> (instance ?L Taillight) (exists (?V) (and (instance ?V Vehicle) (part ?L (BackFn ?V)))))	Mid-level-ontology.kif 3089-3094	Wenn Object ist ein fall von Taillight %n{nicht}, dann es gibt SelfConnectedObject um SelfConnectedObject ist ein fall von Vehicle %n{nicht} und Object ist ein teil von die rueckseite von ** SelfConnectedObject %n{nicht}
(=> (instance ?L VehicleLight) (exists (?V) (and (instance ?V Vehicle) (part ?L ?V))))	Mid-level-ontology.kif 3067-3072	Wenn Object ist ein fall von VehicleLight %n{nicht}, dann es gibt Object um Object ist ein fall von Vehicle %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (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 5029-5040	Wenn Physical ist ein fall von VehicleSeat %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von Human %n{nicht} und entity ist ein fall von Vehicle %n{nicht} und Sitting ist ein attribut von entity %n{nicht} und entity befindet sich an %n{nicht} und Physical befindet sich an %n{nicht} haelt waehrend ** entity %n{nicht} %n{nicht}
(=> (instance ?SHIP VehicleCarrierShip) (cargoType ?SHIP Vehicle))	Transportation.kif 2347-2349	Wenn TransportationDevice ist ein fall von VehicleCarrierShip %n{nicht}, dann cargoType ** TransportationDevice and Vehicle
(=> (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 3340-3352	Wenn Process ist ein fall von TransportationService %n{nicht}, dann es gibt Object, AutonomousAgent,, , Process, and und CognitiveAgent um Process ist der agent von AutonomousAgent %n{nicht} und AutonomousAgent besitzt Object %n{nicht} und customer CognitiveAgent and AutonomousAgent und Object ist ein fall von Vehicle %n{nicht} und Process ist ein fall von Transportation %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und CognitiveAgent ist ein patient von Process %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Process ist ein subProzess von Process
(=> (instance ?VSD VehicleSafetyDevice) (hasPurpose ?VSD (exists (?V) (and (instance ?V Vehicle) (part ?VSD ?V)))))	Cars.kif 3381-3387	Wenn Physical ist ein fall von VehicleSafetyDevice %n{nicht}, dann Physical hat Zweck von es gibt entity um entity ist ein fall von Vehicle %n{nicht} und Physical ist ein teil von entity %n{nicht} %n{nicht}
(=> (instance ?W VehicleWindow) (exists (?V) (and (instance ?V Vehicle) (part ?W ?V))))	Mid-level-ontology.kif 3446-3451	Wenn Object ist ein fall von VehicleWindow %n{nicht}, dann es gibt Object um Object ist ein fall von Vehicle %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (instance ?W Window) (exists (?A) (and (part ?W ?A) (or (instance ?A Building) (instance ?A Room) (instance ?A Vehicle)))))	Mid-level-ontology.kif 15176-15184	Wenn Object ist ein fall von Window %n{nicht}, dann es gibt Object um Object ist ein teil von Object %n{nicht} und Object ist ein fall von Building %n{nicht} oder Object ist ein fall von Room %n{nicht} oder Object ist ein fall von Vehicle %n{nicht}
(=> (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 3675-3704	Wenn Physical ist ein fall von SeatBelt %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity, and und entity um entity ist ein fall von Vehicle %n{nicht} und Physical ist ein teil von entity %n{nicht} und entity ist ein fall von Human %n{nicht} und contains entity and entity und entity ist ein fall von Process %n{nicht} und entity verhindert das Auftreten von die kategorie die ** entity beschreibt %n{nicht}

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

KB Term:			Term intersection

English Word: