TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Translocation ChineseLanguage "Translocation 属于 Motion 的类别，这是物体从一处移动到另一处。在往返的情况下，origin 和 destination 相同，但是中间会经过其他地点。 Translocation 表示线性移动，这和旋转或其他在原地运动不同。它并不需有交通工具，Ambulating 算是 Translocation 的一种。")	chinese_format.kif 3058-3061
(documentation Translocation EnglishLanguage "Translocation is that class of Motions in which an object moves from one place to another. In the case of round trips, the origin and destination are the same, but the intervening motion passes through other locations. Translocation represents linear motion, in contrast to rotation or other movement in place. A vehicle is not necessary, Ambulating is a kind of Translocation.")	Merge.kif 11573-11578
(documentation Translocation JapaneseLanguage "Translocation は、オブジェクトがある場所から別の場所に移動する Motion のクラスである。ラウンドトリップの場合、origin と destination は同じだが、介在するモーションは他の場所を通過する。Translocation は、回転やその他の動きとは対照的に、線形運動を表す。車両は必要なく、Ambulating は Translocation の一種である。")	japanese_format.kif 1826-1829
(subclass Translocation Motion)	Merge.kif 11571-11571	Translocation ist eine teilkategorie von Motion

appearance as argument number 2

(rangeSubclass TransitFn Translocation)	Transportation.kif 1604-1604	Die werte die TransitFn zurueckgibt sind teilkategorien von Translocation
(subclass Accelerating Translocation)	Mid-level-ontology.kif 17137-17137	Accelerating ist eine teilkategorie von Translocation
(subclass Ambulating Translocation)	Merge.kif 11162-11162	Ambulating ist eine teilkategorie von Translocation
(subclass Arriving Translocation)	Mid-level-ontology.kif 17307-17307	Arriving ist eine teilkategorie von Translocation
(subclass Boarding Translocation)	Mid-level-ontology.kif 17375-17375	Boarding ist eine teilkategorie von Translocation
(subclass Crawling Translocation)	Mid-level-ontology.kif 4382-4382	Crawling ist eine teilkategorie von Translocation
(subclass Deboarding Translocation)	Mid-level-ontology.kif 17416-17416	Deboarding ist eine teilkategorie von Translocation
(subclass Decelerating Translocation)	Mid-level-ontology.kif 17165-17165	Decelerating ist eine teilkategorie von Translocation
(subclass Disappearing Translocation)	Mid-level-ontology.kif 17318-17318	Disappearing ist eine teilkategorie von Translocation
(subclass Escaping Translocation)	Mid-level-ontology.kif 17275-17275	Escaping ist eine teilkategorie von Translocation
(subclass Falling Translocation)	Merge.kif 11602-11602	Falling ist eine teilkategorie von Translocation
(subclass Flying Translocation)	Mid-level-ontology.kif 17224-17224	Flying ist eine teilkategorie von Translocation
(subclass Hajj Translocation)	ArabicCulture.kif 121-121	Hajj ist eine teilkategorie von Translocation
(subclass Immigrating Translocation)	Mid-level-ontology.kif 17346-17346	Immigrating ist eine teilkategorie von Translocation
(subclass Landing Translocation)	Mid-level-ontology.kif 17248-17248	Landing ist eine teilkategorie von Translocation
(subclass LandingWaterLand Translocation)	MilitaryProcesses.kif 808-808	LandingWaterLand ist eine teilkategorie von Translocation
(subclass Leaving Translocation)	Mid-level-ontology.kif 17296-17296	Leaving ist eine teilkategorie von Translocation
(subclass MilitaryInfiltration Translocation)	Mid-level-ontology.kif 13952-13952	MilitaryInfiltration ist eine teilkategorie von Translocation
(subclass MovingCursor Translocation)	ComputerInput.kif 1724-1724	MovingCursor ist eine teilkategorie von Translocation
(subclass MovingTowardsPeople Translocation)	emotion.kif 1417-1417	MovingTowardsPeople ist eine teilkategorie von Translocation
(subclass Returning Translocation)	Mid-level-ontology.kif 17261-17261	Returning ist eine teilkategorie von Translocation
(subclass ShipBerthing Translocation)	Transportation.kif 3017-3017	ShipBerthing ist eine teilkategorie von Translocation
(subclass TakingOff Translocation)	Mid-level-ontology.kif 17235-17235	TakingOff ist eine teilkategorie von Translocation
(subclass Transfer Translocation)	Merge.kif 11314-11314	Transfer ist eine teilkategorie von Translocation
(subclass Transportation Translocation)	Merge.kif 11616-11616	Transportation ist eine teilkategorie von Translocation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domain changesLocation 1 Translocation)

Merge.kif 11014-11014

Die Zahl 1 Argument von changesLocation ist ein fall von Translocation %n{nicht}

antecedent

(=> (and (instance ?MOVEMENT Translocation) (origin ?MOVEMENT ?PLACE1)) (exists (?PLACE2 ?STAGE) (and (instance ?PLACE2 Region) (not (equal ?PLACE1 ?PLACE2)) (subProcess ?STAGE ?MOVEMENT) (located ?STAGE ?PLACE2))))	Merge.kif 11580-11589	Wenn Process ist ein fall von Translocation %n{nicht} und Process beginnet an Object %n{nicht}, dann es gibt Object und Process um Object ist ein fall von Region %n{nicht} und Object ist gleich Object nicht und Process ist ein subProzess von Process und ** Process befindet sich an %n{nicht}
(=> (and (instance ?T Tornado) (instance ?R Rotating) (instance ?A Air) (instance ?TRAN Translocation) (subProcess ?R ?T) (subProcess ?TRAN ?R) (patient ?TRAN ?A) (direction ?TRAN Horizontal)) (exists (?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE) (and (instance ?G GeographicArea) (eventLocated ?T ?G) (part ?FUNNEL ?A) (attribute ?FUNNEL ConeSegment) (top ?TOP ?FUNNEL) (bottom ?BOTTOM ?FUNNEL) (instance ?C Cloud) (bottom ?BASE ?C) (meetsSpatially ?TOP ?BASE) (meetsSpatially ?BOTTOM ?G))))	Weather.kif 1647-1668	Wenn Process ist ein fall von Tornado %n{nicht} und Process ist ein fall von Rotating %n{nicht} und Object ist ein fall von Air %n{nicht} und ProcessRAN ist ein fall von Translocation %n{nicht} und Process ist ein subProzess von Process und ProcessRAN ist ein subProzess von Process und Object ist ein patient von ProcessRAN %n{nicht} und Wesen bei ProcessRAN bewegen Horizontal, dann es gibt Object, SelfConnectedObject,, , ProcessOP,, , SelfConnectedObject,, , SelfConnectedObject, and und SelfConnectedObject um Object ist ein fall von GeographicArea %n{nicht} und eventLocated Process and Object und SelfConnectedObject ist ein teil von Object %n{nicht} und ConeSegment ist ein attribut von SelfConnectedObject %n{nicht} und die oberseite von SelfConnectedObject ist ProcessOP und die unterseite von SelfConnectedObject ist SelfConnectedObject und SelfConnectedObject ist ein fall von Cloud %n{nicht} und die unterseite von SelfConnectedObject ist SelfConnectedObject und ProcessOP schliesst SelfConnectedObject raeumlich an und SelfConnectedObject schliesst Object raeumlich an
(=> (and (instance ?T1 Translocation) (instance ?T2 Translocation) (origin ?T1 ?O1) (origin ?T2 ?D1) (destination ?T1 ?D1) (destination ?T2 ?D2) (experiencer ?T1 ?P) (experiencer ?T2 ?P)) (exists (?T) (and (instance ?T Translocation) (origin ?T ?O1) (destination ?T ?D2) (subProcess ?T1 ?T) (subProcess ?T2 ?T) (experiencer ?T ?P) (starts (WhenFn ?T1) (WhenFn ?T)) (finishes (WhenFn ?T2) (WhenFn ?T)))))	Merge.kif 11327-11350	Wenn Process ist ein fall von Translocation %n{nicht} und Process ist ein fall von Translocation %n{nicht} und Process beginnet an Object %n{nicht} und Process beginnet an Object %n{nicht} und Process endet an Object %n{nicht} und Process endet an Entity %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann es gibt Process um Process ist ein fall von Translocation %n{nicht} und Process beginnet an Object %n{nicht} und Process endet an Entity %n{nicht} und Process ist ein subProzess von Process und Process ist ein subProzess von Process und AutonomousAgent erfaehrt Process %n{nicht} und die zeit des Bestehens von Process beginnt die zeit des Bestehens von Process %n{nicht} und die zeit des Bestehens von Process beendet die zeit des Bestehens von Process %n{nicht}
(=> (and (instance ?TRANSPORT Vehicle) (instance ?MOVE Translocation) (instrument ?MOVE ?TRANSPORT) (destination ?MOVE ?TO)) (holdsDuring (BeginFn (WhenFn ?MOVE)) (located ?TRANSPORT ?TO)))	Merge.kif 16014-16020	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 16006-16012	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}
(=> (instance ?T Translocation) (exists (?O ?D ?P) (and (instance ?O Object) (instance ?D Object) (instance ?P Object) (path ?T ?P) (origin ?T ?O) (destination ?T ?D))))	Merge.kif 11591-11600	Wenn Motion ist ein fall von Translocation %n{nicht}, dann es gibt Object, Entity, and und Object um Object ist ein fall von Object %n{nicht} und Entity ist ein fall von Object %n{nicht} und Object ist ein fall von Object %n{nicht} und Object ist der pfad entlang dem Motion geschieht und Motion beginnet an Object %n{nicht} und Motion endet an Entity %n{nicht}

consequent

(=> (and (holdsDuring ?T1 (and (attribute ?P Expellee) (citizen ?P ?HOME-NATION))) (instance ?T1 TimeInterval)) (exists (?TRANS ?NATION) (and (instance ?NATION Nation) (not (equal ?NATION ?HOME-NATION)) (instance ?TRANS Translocation) (origin ?TRANS ?NATION) (patient ?TRANS ?P) (destination ?TRANS ?HOME-NATION) (temporalPart ?T1 (WhenFn ?TRANS)))))	MilitaryPersons.kif 151-167	Wenn Expellee ist ein attribut von Entity %n{nicht} und Entity ist der buerger von entity-NATION haelt waehrend TimePosition %n{nicht} und TimePosition ist ein fall von TimeInterval %n{nicht}, dann es gibt Process und Object um Object ist ein fall von Nation %n{nicht} und Object ist gleich entity-NATION nicht und Process ist ein fall von Translocation %n{nicht} und Process beginnet an Object %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process endet an entity-NATION %n{nicht} und TimePosition ist ein teil von die zeit des Bestehens von ** Process %n{nicht}
(=> (and (instance ?B Barricade) (partlyLocated ?B ?P)) (hasPurpose ?B (not (exists (?T) (and (instance ?T Translocation) (path ?T ?P))))))	MilitaryDevices.kif 2003-2012	Wenn Physical ist ein fall von Barricade %n{nicht} und Physical befindet sich teils an %n{nicht}, dann Physical hat Zweck von es gibt nicht entity um entity ist ein fall von Translocation %n{nicht} und Object ist der pfad entlang dem entity geschieht %n{nicht}
(=> (and (instance ?B Blockade) (instance ?C Contest) (subProcess ?B ?C) (contestParticipant ?C ?A1) (agent ?B ?A1)) (exists (?C1 ?A2) (and (prevents ?C1 Translocation) (instance ?B ?C1) (contestParticipant ?C ?A2) (not (equal ?A1 ?A2)) (desires ?A2 (exists (?I) (and (instance ?I ?C1) (agent ?I ?A1) (subProcess ?I ?C)))))))	Mid-level-ontology.kif 21775-21794	Wenn Process ist ein fall von Blockade %n{nicht} und Contest ist ein fall von Contest %n{nicht} und Process ist ein subProzess von Contest und contestParticipant Contest and AutonomousAgent und Process ist der agent von AutonomousAgent %n{nicht}, dann es gibt Contest1 und CognitiveAgent um Contest1 verhindert das Auftreten von Translocation und Process ist ein fall von Contest1 %n{nicht} und contestParticipant Contest and CognitiveAgent und AutonomousAgent ist gleich CognitiveAgent nicht und CognitiveAgent wuenscht es gibt entity um entity ist ein fall von Contest1 %n{nicht} und entity ist der agent von AutonomousAgent %n{nicht} und entity ist ein subProzess von Contest %n{nicht}
(=> (and (instance ?DUSTSTORM DustStorm) (instance ?WIND Wind) (subProcess ?DUSTSTORM ?WIND)) (exists (?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG) (and (instance ?A1 LandArea) (eventLocated ?WIND ?A1) (surfaceWindSpeed ?A1 (MeasureFn ?STRONG KnotUnitOfSpeed)) (greaterThan ?STRONG 30.0) (instance ?TRANSLOCATE Translocation) (subProcess ?TRANSLOCATE ?DUSTSTORM) (objectTransferred ?TRANSLOCATE ?PM) (objectTransferred ?TRANSLOCATE ?SAND) (instance ?PM ParticulateMatter) (instance ?SAND Sand) (instance ?A2 LandArea) (destination ?TRANSLOCATE ?A2) (not (overlapsSpatially ?A1 ?A2)))))	Weather.kif 1271-1292	Wenn Process ist ein fall von DustStorm %n{nicht} und Process ist ein fall von Wind %n{nicht} und Process ist ein subProzess von Process, dann es gibt Transfer, Object,, , Object,, , Object,, , Object, and und RealNumber um Object ist ein fall von LandArea %n{nicht} und eventLocated Process and Object und surfaceWindSpeed Object and RealNumber KnotUnitOfSpeed(s) und RealNumber ist groesserAls 30.0 %n{nicht} und Transfer ist ein fall von Translocation %n{nicht} und Transfer ist ein subProzess von Process und objectTransferred Transfer and Object und objectTransferred Transfer and Object und Object ist ein fall von ParticulateMatter %n{nicht} und Object ist ein fall von Sand %n{nicht} und Object ist ein fall von LandArea %n{nicht} und Transfer endet an Object %n{nicht} und Object deckt sich mit ** Object raeumlich nicht
(=> (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 2963-2979	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 ?EV Evacuation) (agent ?EV ?A) (origin ?EV ?O)) (exists (?T ?TA) (and (instance ?T Translocation) (subProcess ?T ?EV) (origin ?T ?O) (or (experiencer ?T ?TA) (agent ?T ?TA)) (or (subOrganization ?TA ?A) (member ?TA ?A) (equal ?TA ?A)))))	MilitaryProcesses.kif 2627-2643	Wenn Process ist ein fall von Evacuation %n{nicht} und Process ist der agent von Organization %n{nicht} und Process beginnet an Object %n{nicht}, dann es gibt Process und ProcessA um Process ist ein fall von Translocation %n{nicht} und Process ist ein subProzess von Process und Process beginnet an Object %n{nicht} und ProcessA erfaehrt Process %n{nicht} oder Process ist der agent von ProcessA %n{nicht} und subOrganization ProcessA and Organization oder ProcessA ist ein Mitglied von Organization %n{nicht} oder ProcessA ist gleich Organization %n{nicht}
(=> (and (instance ?EV Evacuation) (origin ?EV ?OR) (destination ?EV ?D)) (exists (?L) (and (instance ?L Translocation) (subProcess ?L ?EV) (destination ?L ?D) (origin ?L ?OR))))	MilitaryProcesses.kif 2501-2511	Wenn Process ist ein fall von Evacuation %n{nicht} und Process beginnet an Object %n{nicht} und Process endet an Entity %n{nicht}, dann es gibt Process um Process ist ein fall von Translocation %n{nicht} und Process ist ein subProzess von Process und Process endet an Entity %n{nicht} und Process beginnet an Object %n{nicht}
(=> (and (instance ?I Infecting) (experiencer ?I ?H)) (exists (?T ?R ?O) (and (instance ?T Translocation) (moves ?T ?O) (instance ?O Organism) (instance ?R Replication) (experiencer ?R ?O) (subProcess ?T ?I) (subProcess ?R ?I))))	Mid-level-ontology.kif 5846-5858	Wenn Process ist ein fall von Infecting %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann es gibt Motion, Process, and und AutonomousAgent um Motion ist ein fall von Translocation %n{nicht} und moves Motion and AutonomousAgent und AutonomousAgent ist ein fall von Organism %n{nicht} und Process ist ein fall von Replication %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und Motion ist ein subProzess von Process und Process ist ein subProzess von Process
(=> (and (instance ?P FoodPickup) (agent ?P ?AGENT) (destination ?P ?CUST) (patient ?P ?FOOD)) (and (instance ?FOOD (FoodForFn Human)) (exists (?LOC ?T ?G) (and (located ?AGENT ?LOC) (instance ?T Translocation) (agent ?T ?CUST) (destination ?T ?LOC) (instance ?G Getting) (origin ?G ?AGENT) (destination ?G ?CUST) (patient ?G ?FOOD)))))	Dining.kif 610-627	Wenn Process ist ein fall von FoodPickup %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process endet an AutonomousAgent %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Entity ist ein fall von FoodForFn Human %n{nicht} und es gibt Object, Process, and und Process um AutonomousAgent befindet sich an %n{nicht} und Process ist ein fall von Translocation %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Process endet an Object %n{nicht} und Process ist ein fall von Getting %n{nicht} und Process beginnet an AutonomousAgent %n{nicht} und Process endet an AutonomousAgent %n{nicht} und Entity ist ein patient von ** Process %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 ?P Passport) (possesses ?A ?P)) (confersNorm ?P (exists (?T ?N1 ?N2) (and (instance ?T Translocation) (agent ?T ?A) (origin ?T ?N1) (destination ?T ?N2) (instance ?N1 Nation) (instance ?N2 Nation) (not (equal ?N1 ?N2)))) Permission))	Mid-level-ontology.kif 16560-16574	Wenn Object ist ein fall von Passport %n{nicht} und AutonomousAgent besitzt Object %n{nicht}, dann confersNorm Object, es gibt entity, entity, and und entity um entity ist ein fall von Translocation %n{nicht} und entity ist der agent von AutonomousAgent %n{nicht} und entity beginnet an entity %n{nicht} und entity endet an entity %n{nicht} und entity ist ein fall von Nation %n{nicht} und entity ist ein fall von Nation %n{nicht} und entity ist gleich ** entity nicht and Permission
(=> (and (instance ?SS StayingStill) (experiencer ?SS ?A)) (not (exists (?B ?T) (and (instance ?B BodyMotion) (instance ?T Translocation) (causes ?B ?T) (agent ?B ?A)))))	emotion.kif 1523-1533	Wenn Process ist ein fall von StayingStill %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann es gibt nicht Process und Process um Process ist ein fall von BodyMotion %n{nicht} und Process ist ein fall von Translocation %n{nicht} und Process verursacht Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}
(=> (and (instance ?T1 Translocation) (instance ?T2 Translocation) (origin ?T1 ?O1) (origin ?T2 ?D1) (destination ?T1 ?D1) (destination ?T2 ?D2) (experiencer ?T1 ?P) (experiencer ?T2 ?P)) (exists (?T) (and (instance ?T Translocation) (origin ?T ?O1) (destination ?T ?D2) (subProcess ?T1 ?T) (subProcess ?T2 ?T) (experiencer ?T ?P) (starts (WhenFn ?T1) (WhenFn ?T)) (finishes (WhenFn ?T2) (WhenFn ?T)))))	Merge.kif 11327-11350	Wenn Process ist ein fall von Translocation %n{nicht} und Process ist ein fall von Translocation %n{nicht} und Process beginnet an Object %n{nicht} und Process beginnet an Object %n{nicht} und Process endet an Object %n{nicht} und Process endet an Entity %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann es gibt Process um Process ist ein fall von Translocation %n{nicht} und Process beginnet an Object %n{nicht} und Process endet an Entity %n{nicht} und Process ist ein subProzess von Process und Process ist ein subProzess von Process und AutonomousAgent erfaehrt Process %n{nicht} und die zeit des Bestehens von Process beginnt die zeit des Bestehens von Process %n{nicht} und die zeit des Bestehens von Process beendet die zeit des Bestehens von Process %n{nicht}
(=> (and (trafficableForTrafficType ?place ?type) (subclass ?type AutonomousAgent) (instance ?mover ?type)) (capableAtLocation Translocation agent ?mover ?place))	Transportation.kif 2617-2622	Wenn trafficableForTrafficType Region and SelfConnectedObject und SelfConnectedObject ist eine teilkategorie von AutonomousAgent und Object ist ein fall von SelfConnectedObject %n{nicht}, dann capableAtLocation Translocation, agent, Object and Region
(=> (changesLocation ?EVENT ?OBJ) (and (instance ?EVENT Translocation) (instance ?OBJ Object) (or (patient ?EVENT ?OBJ) (agent ?EVENT ?OBJ) (experiencer ?EVENT ?OBJ))))	Merge.kif 11025-11033	Wenn changesLocation Translocation and AutonomousAgent, dann Translocation ist ein fall von Translocation %n{nicht} und AutonomousAgent ist ein fall von Object %n{nicht} und AutonomousAgent ist ein patient von Translocation %n{nicht} oder Translocation ist der agent von AutonomousAgent %n{nicht} oder AutonomousAgent erfaehrt Translocation %n{nicht}
(=> (instance ?ARRIVE Arriving) (exists (?GO) (and (instance ?GO Translocation) (subProcess ?ARRIVE ?GO) (finishes (WhenFn ?ARRIVE) (WhenFn ?GO)))))	Mid-level-ontology.kif 17310-17316	Wenn Process ist ein fall von Arriving %n{nicht}, dann es gibt Process um Process ist ein fall von Translocation %n{nicht} und Process ist ein subProzess von Process und die zeit des Bestehens von Process beendet die zeit des Bestehens von ** Process %n{nicht}
(=> (instance ?B Bowling) (exists (?BALL ?TRANS ?LANE) (and (instance ?TRANS Translocation) (instance ?BALL BowlingBall) (patient ?TRANS ?BALL) (instance ?LANE BowlingLane) (path ?TRANS ?LANE) (subProcess ?TRANS ?B))))	Sports.kif 1108-1117	Wenn Process ist ein fall von Bowling %n{nicht}, dann es gibt ProcessALL, Motion, and und Object um Motion ist ein fall von Translocation %n{nicht} und ProcessALL ist ein fall von BowlingBall %n{nicht} und ProcessALL ist ein patient von Motion %n{nicht} und Object ist ein fall von BowlingLane %n{nicht} und Object ist der pfad entlang dem Motion geschieht und Motion ist ein subProzess von Process
(=> (instance ?BL BowlingLane) (hasPurpose ?BL (exists (?TR ?BALL) (and (instance ?TR Translocation) (instance ?BALL BowlingBall) (patient ?TR ?BALL) (path ?TR ?BL)))))	Sports.kif 1147-1155	Wenn Physical ist ein fall von BowlingLane %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Translocation %n{nicht} und entity ist ein fall von BowlingBall %n{nicht} und entity ist ein patient von entity %n{nicht} und Physical ist der pfad entlang dem entity geschieht %n{nicht}
(=> (instance ?F Furniture) (capability Translocation moves ?F))	Mid-level-ontology.kif 3706-3708	Wenn Object ist ein fall von Furniture %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle moves Translocation zu tun
(=> (instance ?G Gasket) (hasPurpose ?G (exists (?O1 ?O2) (and (instance ?O1 CorpuscularObject) (instance ?O2 CorpuscularObject) (meetsSpatially ?O1 ?G) (meetsSpatially ?O2 ?G) (not (exists (?H ?D ?T ?O) (and (instance ?H HoleRegion) (equal ?G (HoleHostFn ?H)) (instance ?T Translocation) (path ?T ?H) (origin ?T ?O) (destination ?T ?D) (contains ?O1 ?O) (not (contains ?O1 ?D)) (meetsSpatially ?O1 ?D) (not (exists (?O3) (and (contains ?H ?O3) (not (contains ?O1 ?O3)) (not (contains ?O2 ?O3))))))))))))	Cars.kif 2849-2878	Wenn Physical ist ein fall von Gasket %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von CorpuscularObject %n{nicht} und entity ist ein fall von CorpuscularObject %n{nicht} und entity schliesst Physical raeumlich an und entity schliesst Physical raeumlich an und es gibt nicht entity, entity,, , entity, and und entity um entity ist ein fall von HoleRegion %n{nicht} und Physical ist gleich HoleHostFn entity %n{nicht} und entity ist ein fall von Translocation %n{nicht} und entity ist der pfad entlang dem entity geschieht und entity beginnet an entity %n{nicht} und entity endet an entity %n{nicht} und contains entity and entity und contains entity and entity und entity schliesst entity raeumlich an und es gibt nicht entity3 um contains entity and entity3 und contains entity and entity3 und contains entity and ** entity3 %n{nicht}
(=> (instance ?HALL Hallway) (hasPurpose ?HALL (exists (?TRAN ?BUILD ?R1 ?R2) (and (instance ?TRAN Translocation) (path ?TRAN ?HALL) (located ?HALL ?BUILD) (instance ?BUILD Building) (between ?R1 ?HALL ?R2) (instance ?R1 Room) (instance ?R2 Room) (located ?R1 ?BUILD) (located ?R2 ?BUILD) (not (equal ?R1 ?R2))))))	Mid-level-ontology.kif 15621-15636	Wenn Physical ist ein fall von Hallway %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity, and und entity um entity ist ein fall von Translocation %n{nicht} und Physical ist der pfad entlang dem entity geschieht und Physical befindet sich an %n{nicht} und entity ist ein fall von Building %n{nicht} und Physical ist zwischen entity und entity %n{nicht} und entity ist ein fall von Room %n{nicht} und entity ist ein fall von Room %n{nicht} und entity befindet sich an %n{nicht} und entity befindet sich an %n{nicht} und entity ist gleich ** entity nicht %n{nicht}
(=> (instance ?I Inflammation) (exists (?T ?W) (and (instance ?T Translocation) (instance ?W WhiteBloodCell) (objectTransferred ?T ?W) (destination ?T (WhereFn ?I (WhenFn ?I))))))	Mid-level-ontology.kif 12396-12405	Wenn Physical ist ein fall von Inflammation %n{nicht}, dann es gibt Transfer und Object um Transfer ist ein fall von Translocation %n{nicht} und Object ist ein fall von WhiteBloodCell %n{nicht} und objectTransferred Transfer and Object und Transfer endet an die Stelle wo Physical an die zeit des Bestehens von ** Physical war %n{nicht}
(=> (instance ?LEAVE Leaving) (exists (?GO) (and (instance ?GO Translocation) (subProcess ?LEAVE ?GO) (starts (WhenFn ?LEAVE) (WhenFn ?GO)))))	Mid-level-ontology.kif 17299-17305	Wenn Process ist ein fall von Leaving %n{nicht}, dann es gibt Process um Process ist ein fall von Translocation %n{nicht} und Process ist ein subProzess von Process und die zeit des Bestehens von Process beginnt die zeit des Bestehens von ** Process %n{nicht}
(=> (instance ?O Object) (capability Translocation destination ?O))	Merge.kif 858-860	Wenn Object ist ein fall von Object %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle bestimmungsort Translocation zu tun
(=> (instance ?O Object) (capability Translocation origin ?O))	Merge.kif 854-856	Wenn Object ist ein fall von Object %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle origin Translocation zu tun

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: