TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Transfer ChineseLanguage "这是当 agent 和 patient 不是同一样的东西时的任何 Translocation 的 instance。")	chinese_format.kif 4066-4066
(documentation Transfer EnglishLanguage "Any instance of Translocation where the agent and the patient are not the same thing.")	Merge.kif 11294-11295
(documentation Transfer JapaneseLanguage "agent と patient が同じではない Translocation の instance 。")	japanese_format.kif 1795-1796
(externalImage Transfer "http://upload.wikimedia.org/wikipedia/commons/2/ 29/ VAB_transfer_aisle.jpg")	pictureList.kif 12019-12019
(externalImage Transfer "http://upload.wikimedia.org/wikipedia/commons/2/ 2a/ Commercial_Titan_3_launching_Mars_Observer.jpg")	pictureList.kif 12022-12022
(externalImage Transfer "http://upload.wikimedia.org/wikipedia/commons/2/ 2f/ Ponderosa_elevator.JPG")	pictureList.kif 12023-12023
(externalImage Transfer "http://upload.wikimedia.org/wikipedia/commons/6/ 68/ Chinese_rocket_part_in_transfer.jpg")	pictureList.kif 12020-12020
(externalImage Transfer "http://upload.wikimedia.org/wikipedia/commons/7/ 70/ Escalators_Canary_Wharf.jpg")	pictureList.kif 12024-12024
(externalImage Transfer "http://upload.wikimedia.org/wikipedia/commons/8/ 8c/ Escrolantesgranvia.jpg")	pictureList.kif 12025-12025
(externalImage Transfer "http://upload.wikimedia.org/wikipedia/commons/d/ d5/ Public_Transfer_TrolleyBus_Bratislava.jpg")	pictureList.kif 12018-12018
(externalImage Transfer "http://upload.wikimedia.org/wikipedia/commons/f/ f0/ Nasa_space_elev.jpg")	pictureList.kif 12021-12021
(subclass Transfer Translocation)	Merge.kif 11292-11292	Transfer ist eine teilkategorie von Translocation

appearance as argument number 2

(subclass Carrying Transfer)	Merge.kif 11366-11366	Carrying ist eine teilkategorie von Transfer
(subclass ChangingClothing Transfer)	Mid-level-ontology.kif 5520-5520	ChangingClothing ist eine teilkategorie von Transfer
(subclass DeliveryService Transfer)	Dining.kif 526-526	DeliveryService ist eine teilkategorie von Transfer
(subclass ElectricTransmission Transfer)	Cars.kif 2382-2382	ElectricTransmission ist eine teilkategorie von Transfer
(subclass Impelling Transfer)	Merge.kif 11468-11468	Impelling ist eine teilkategorie von Transfer
(subclass Ingesting Transfer)	Merge.kif 10247-10247	Ingesting ist eine teilkategorie von Transfer
(subclass IntraosseousInfusion Transfer)	Medicine.kif 1169-1169	IntraosseousInfusion ist eine teilkategorie von Transfer
(subclass Mailing Transfer)	Mid-level-ontology.kif 6647-6647	Mailing ist eine teilkategorie von Transfer
(subclass Messaging Transfer)	Mid-level-ontology.kif 6651-6651	Messaging ist eine teilkategorie von Transfer
(subclass MovingResidence Transfer)	Mid-level-ontology.kif 18055-18055	MovingResidence ist eine teilkategorie von Transfer
(subclass Pouring Transfer)	Mid-level-ontology.kif 17534-17534	Pouring ist eine teilkategorie von Transfer
(subclass Putting Transfer)	Merge.kif 11399-11399	Putting ist eine teilkategorie von Transfer
(subclass Releasing Transfer)	Merge.kif 11518-11518	Releasing ist eine teilkategorie von Transfer
(subclass Removing Transfer)	Merge.kif 11378-11378	Removing ist eine teilkategorie von Transfer
(subclass Spraying Transfer)	Mid-level-ontology.kif 17603-17603	Spraying ist eine teilkategorie von Transfer
(subclass Substituting Transfer)	Merge.kif 11448-11448	Substituting ist eine teilkategorie von Transfer
(subclass Swallowing Transfer)	Mid-level-ontology.kif 6588-6588	Swallowing ist eine teilkategorie von Transfer
(subclass Touching Transfer)	Merge.kif 11480-11480	Touching ist eine teilkategorie von Transfer
(termFormat ChineseLanguage Transfer "转移")	chinese_format.kif 1119-1119
(termFormat EnglishLanguage Transfer "transfer")	english_format.kif 1455-1455
(termFormat FrenchLanguage Transfer "transf�re")	french_format.kif 797-797
(termFormat Hindi Transfer "sthaanaantarana")	terms-hindi.txt 329-329
(termFormat ItalianLanguage Transfer "Trasferimento")	terms-it.txt 332-332
(termFormat JapaneseLanguage Transfer "移動")	japanese_format.kif 2481-2481

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domain beforeOnPath 4 Transfer)	Mid-level-ontology.kif 29772-29772	Die Zahl 4 Argument von beforeOnPath ist ein fall von Transfer %n{nicht}
(domain objectTransferred 1 Transfer)	Merge.kif 11332-11332	Die Zahl 1 Argument von objectTransferred ist ein fall von Transfer %n{nicht}

antecedent

(=> (and (betweenOnPath ?O1 ?O2 ?O3 ?PATH) (instance ?T Transfer) (path ?T ?PATH) (origin ?T ?O1) (destination ?T ?O3)) (and (beforeOnPath ?O1 ?O2 ?PATH ?T) (beforeOnPath ?O2 ?O3 ?PATH ?T)))	Mid-level-ontology.kif 29779-29788	Wenn betweenOnPath Object, Object, Object and Object und Transfer ist ein fall von Transfer %n{nicht} und Object ist der pfad entlang dem Transfer geschieht und Transfer beginnet an Object %n{nicht} und Transfer endet an Object %n{nicht}, dann beforeOnPath Object, Object, Object and Transfer und beforeOnPath Object, Object, Object and Transfer
(=> (and (instance ?ARTERY Artery) (instance ?TRANSFER Transfer) (patient ?TRANSFER ?BLOOD) (instrument ?TRANSFER ?ARTERY) (instance ?BLOOD Blood)) (exists (?HEART) (and (instance ?HEART Heart) (origin ?TRANSFER ?HEART))))	Mid-level-ontology.kif 11108-11118	Wenn Object ist ein fall von Artery %n{nicht} und Process ist ein fall von Transfer %n{nicht} und Entity ist ein patient von Process %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Entity ist ein fall von Blood %n{nicht}, dann es gibt Object um Object ist ein fall von Heart %n{nicht} und Process beginnet an Object %n{nicht}
(=> (and (instance ?ARTERY PulmonaryArtery) (instance ?TRANSFER Transfer) (patient ?TRANSFER ?BLOOD) (instrument ?TRANSFER ?ARTERY) (instance ?BLOOD Blood)) (exists (?LUNG) (and (instance ?LUNG Lung) (destination ?TRANSFER ?LUNG))))	Mid-level-ontology.kif 11141-11151	Wenn Object ist ein fall von PulmonaryArtery %n{nicht} und Process ist ein fall von Transfer %n{nicht} und Entity ist ein patient von Process %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Entity ist ein fall von Blood %n{nicht}, dann es gibt Entity um Entity ist ein fall von Lung %n{nicht} und Process endet an Entity %n{nicht}
(=> (and (instance ?E Exhaust) (material Fuel ?E) (instance ?T Transfer) (instance ?ENG Engine) (origin ?T ?ENG) (instance ?CC CatalyticConverter) (destination ?T ?CC) (objectTransferred ?T ?E)) (hasPurpose ?CC (exists (?C) (and (instance ?C Combustion) (instrument ?C ?CC) (patient ?C ?E) (eventLocated ?C ?CC)))))	Cars.kif 1717-1733	Wenn CorpuscularObject ist ein fall von Exhaust %n{nicht} und Fuel ist von CorpuscularObject gebildet und Transfer ist ein fall von Transfer %n{nicht} und CorpuscularObjectNG ist ein fall von Engine %n{nicht} und Transfer beginnet an CorpuscularObjectNG %n{nicht} und Physical ist ein fall von CatalyticConverter %n{nicht} und Transfer endet an Physical %n{nicht} und objectTransferred Transfer and CorpuscularObject, dann Physical hat Zweck von es gibt entity um entity ist ein fall von Combustion %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} und CorpuscularObject ist ein patient von entity %n{nicht} und eventLocated entity and Physical %n{nicht}
(=> (and (instance ?EM Electromagnet) (instance ?T Transfer) (instance ?E Electricity) (objectTransferred ?T ?E) (path ?T ?EM)) (exists (?M) (and (instance ?M Magnetism) (instrument ?M ?EM))))	Cars.kif 3893-3903	Wenn Object ist ein fall von Electromagnet %n{nicht} und Transfer ist ein fall von Transfer %n{nicht} und Object ist ein fall von Electricity %n{nicht} und objectTransferred Transfer and Object und Object ist der pfad entlang dem Transfer geschieht, dann es gibt Process um Process ist ein fall von Magnetism %n{nicht} und Object ist ein instrument fuer ** Process %n{nicht}
(=> (and (instance ?EM Electromagnet) (not (holdsDuring ?T1 (exists (?T ?E) (and (instance ?T Transfer) (instance ?E Electricity) (objectTransferred ?T ?E) (path ?T ?EM)))))) (not (holdsDuring ?T1 (exists (?M) (and (instance ?M Magnetism) (instrument ?M ?EM))))))	Cars.kif 3905-3921	Wenn Entity ist ein fall von Electromagnet %n{nicht} und es gibt entity und entity um entity ist ein fall von Transfer %n{nicht} und entity ist ein fall von Electricity %n{nicht} und objectTransferred entity and entity und Entity ist der pfad entlang dem entity geschieht haelt waehrend entity1 nicht, dann es gibt entity um entity ist ein fall von Magnetism %n{nicht} und Entity ist ein instrument fuer entity %n{nicht} haelt waehrend ** entity1 nicht
(=> (and (instance ?T Tailpipe) (instance ?TR Transfer) (instance ?E Exhaust) (instance ?A Automobile) (instance ?AES AutomobileExhaustSystem) (part ?T ?A) (path ?TR ?T) (patient ?TR ?E)) (hasPurpose ?T (not (exists (?O) (and (part ?O ?A) (beforeOnPath ?T ?O ?AES ?TR))))))	Cars.kif 4046-4061	Wenn Object ist ein fall von Tailpipe %n{nicht} und ObjectR ist ein fall von Transfer %n{nicht} und Entity ist ein fall von Exhaust %n{nicht} und Object ist ein fall von Automobile %n{nicht} und ObjectES ist ein fall von AutomobileExhaustSystem %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist der pfad entlang dem ObjectR geschieht und Entity ist ein patient von ObjectR %n{nicht}, dann Object hat Zweck von es gibt nicht entity um entity ist ein teil von Object %n{nicht} und beforeOnPath Object, entity, ObjectES and ** ObjectR %n{nicht}
(=> (and (instance ?T Transfer) (objectTransferred ?T ?O) (orientation ?O2 ?O Inside)) (objectTransferred ?T ?O2))	Merge.kif 11352-11357	Wenn Transfer ist ein fall von Transfer %n{nicht} und objectTransferred Transfer and Object und Object2 ist Inside hinsichlich Object %n{nicht}, dann objectTransferred Transfer and ** Object2
(=> (and (instance ?T Transfer) (objectTransferred ?T ?O) (orientation ?O2 ?O On)) (objectTransferred ?T ?O2))	Merge.kif 11359-11364	Wenn Transfer ist ein fall von Transfer %n{nicht} und objectTransferred Transfer and Object und Object2 ist On hinsichlich Object %n{nicht}, dann objectTransferred Transfer and ** Object2
(=> (and (instance ?TRANSFER Transfer) (agent ?TRANSFER ?AGENT) (patient ?TRANSFER ?PATIENT)) (not (equal ?AGENT ?PATIENT)))	Merge.kif 11297-11303	Wenn Process ist ein fall von Transfer %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann AutonomousAgent ist gleich Entity nicht
(=> (and (instance ?V PulmonaryVein) (instance ?T Transfer) (patient ?T ?B) (instrument ?T ?V) (instance ?B Blood)) (exists (?L ?H ?P) (and (instance ?L Lung) (origin ?T ?L) (part ?V ?P) (part ?L ?P) (part ?H ?P) (instance ?H Heart) (destination ?T ?H))))	Mid-level-ontology.kif 11157-11172	Wenn Object ist ein fall von PulmonaryVein %n{nicht} und Process ist ein fall von Transfer %n{nicht} und Entity ist ein patient von Process %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Entity ist ein fall von Blood %n{nicht}, dann es gibt Object, Object, and und Object um Object ist ein fall von Lung %n{nicht} und Process beginnet an Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von Heart %n{nicht} und Process endet an Object %n{nicht}
(=> (and (instance ?V Vein) (instance ?T Transfer) (patient ?T ?B) (instrument ?T ?V) (instance ?B Blood)) (exists (?H) (and (instance ?H Heart) (destination ?T ?H))))	Mid-level-ontology.kif 11125-11135	Wenn Object ist ein fall von Vein %n{nicht} und Process ist ein fall von Transfer %n{nicht} und Entity ist ein patient von Process %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Entity ist ein fall von Blood %n{nicht}, dann es gibt Entity um Entity ist ein fall von Heart %n{nicht} und Process endet an Entity %n{nicht}

consequent

(=> (and (instance ?AS AutomobileShock) (instance ?C Compressing) (instance ?H HoleRegion) (attribute ?F Fluid) (equal ?AS (HoleHostFn ?H)) (contains ?AS ?F) (patient ?C ?AS)) (exists (?T) (and (instance ?T Transfer) (objectTransferred ?T ?F) (path ?T ?H) (causes ?C ?T))))	Cars.kif 871-885	Wenn SelfConnectedObject ist ein fall von AutomobileShock %n{nicht} und Process ist ein fall von Compressing %n{nicht} und HoleRegion ist ein fall von HoleRegion %n{nicht} und Fluid ist ein attribut von Object %n{nicht} und SelfConnectedObject ist gleich HoleHostFn HoleRegion %n{nicht} und contains SelfConnectedObject and Object und SelfConnectedObject ist ein patient von Process %n{nicht}, dann es gibt Transfer um Transfer ist ein fall von Transfer %n{nicht} und objectTransferred Transfer and Object und HoleRegion ist der pfad entlang dem Transfer geschieht und Process verursacht ** Transfer %n{nicht}
(=> (and (instance ?E Edema) (experiencer ?E ?A)) (exists (?T ?P ?L) (and (instance ?T Transfer) (instance ?L Liquid) (instance ?P BodyPart) (part ?P ?A) (destination ?T ?P) (moves ?T ?L) (subProcess ?T ?E))))	Mid-level-ontology.kif 9964-9976	Wenn Process ist ein fall von Edema %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann es gibt Motion, Object, and und Object um Motion ist ein fall von Transfer %n{nicht} und Object ist ein fall von Liquid %n{nicht} und Object ist ein fall von BodyPart %n{nicht} und Object ist ein teil von AutonomousAgent %n{nicht} und Motion endet an Object %n{nicht} und moves Motion and Object und Motion ist ein subProzess von ** Process
(=> (and (instance ?GERD GERefluxDisease) (experiencer ?GERD ?H)) (exists (?T ?S ?E) (and (instance ?T Transfer) (origin ?T ?S) (instance ?S Stomach) (instance ?E Esophagus) (destination ?T ?E) (part ?S ?H) (part ?E ?H) (subProcess ?T ?GERD))))	Medicine.kif 1916-1929	Wenn Process ist ein fall von GERefluxDisease %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann es gibt Process, Object, and und Object um Process ist ein fall von Transfer %n{nicht} und Process beginnet an Object %n{nicht} und Object ist ein fall von Stomach %n{nicht} und Object ist ein fall von Esophagus %n{nicht} und Process endet an Object %n{nicht} und Object ist ein teil von AutonomousAgent %n{nicht} und Object ist ein teil von AutonomousAgent %n{nicht} und Process ist ein subProzess von ** Process
(=> (and (instance ?X DutyTax) (refers ?X ?OBJ) (patient ?X ?OBJ)) (exists (?T ?N1 ?N2) (and (instance ?T Transfer) (patient ?T ?OBJ) (origin ?T ?N1) (destination ?T ?N2) (instance ?N1 Nation) (instance ?N2 Nation) (not (equal ?N1 ?N2)) (earlier (WhenFn ?T) (WhenFn ?X)) (causes ?T ?X))))	FinancialOntology.kif 949-964	Wenn Process ist ein fall von DutyTax %n{nicht} und Process umfasst einen hinweis auf Entity und Entity ist ein patient von Process %n{nicht}, dann es gibt Process, Object, and und Entity um Process ist ein fall von Transfer %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process beginnet an Object %n{nicht} und Process endet an Entity %n{nicht} und Object ist ein fall von Nation %n{nicht} und Entity ist ein fall von Nation %n{nicht} und Object ist gleich Entity nicht und die zeit des Bestehens von Process geschieht frueh als die zeit des Bestehens von Process %n{nicht} und Process verursacht ** Process %n{nicht}
(=> (instance ?AI AirIntake) (hasPurpose ?AI (exists (?A ?E ?T) (and (instance ?A Air) (instance ?E Engine) (instance ?T Transfer) (origin ?T ?AI) (destination ?T ?E) (patient ?T ?A)))))	Cars.kif 973-983	Wenn Physical ist ein fall von AirIntake %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von Air %n{nicht} und entity ist ein fall von Engine %n{nicht} und entity ist ein fall von Transfer %n{nicht} und entity beginnet an Physical %n{nicht} und entity endet an entity %n{nicht} und entity ist ein patient von entity %n{nicht} %n{nicht}
(=> (instance ?BAG Bag) (hasPurpose ?BAG (exists (?T ?OBJ) (and (instance ?T Transfer) (instance ?OBJ Object) (contains ?BAG ?OBJ) (instrument ?T ?BAG) (patient ?T ?OBJ)))))	Mid-level-ontology.kif 4461-4470	Wenn Physical ist ein fall von Bag %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Transfer %n{nicht} und entity ist ein fall von Object %n{nicht} und contains Physical and entity und Physical ist ein instrument fuer entity %n{nicht} und entity ist ein patient von ** entity %n{nicht} %n{nicht}
(=> (instance ?EM ExhaustManifold) (hasPurpose ?EM (exists (?A ?E ?C ?M ?T) (and (instance ?A Automobile) (instance ?E Exhaust) (instance ?C EngineCylinder) (instance ?M AutomobileMuffler) (instance ?T Transfer) (part ?EM ?A) (part ?C ?A) (part ?M ?A) (origin ?T ?C) (destination ?T ?M) (patient ?T ?E) (instrument ?T ?E)))))	Cars.kif 2629-2645	Wenn Physical ist ein fall von ExhaustManifold %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity,, , entity, and und entity um entity ist ein fall von Automobile %n{nicht} und entity ist ein fall von Exhaust %n{nicht} und entity ist ein fall von EngineCylinder %n{nicht} und entity ist ein fall von AutomobileMuffler %n{nicht} und entity ist ein fall von Transfer %n{nicht} und Physical ist ein teil von entity %n{nicht} und entity ist ein teil von entity %n{nicht} und entity ist ein teil von entity %n{nicht} und entity beginnet an entity %n{nicht} und entity endet an entity %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist ein instrument fuer entity %n{nicht} %n{nicht}
(=> (instance ?EV ExhaustValve) (hasPurpose ?EV (exists (?E ?T) (and (instance ?T Transfer) (objectTransferred ?T ?E) (path ?T ?EV) (instance ?E Exhaust)))))	Cars.kif 2665-2673	Wenn Physical ist ein fall von ExhaustValve %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Transfer %n{nicht} und objectTransferred entity and entity und Physical ist der pfad entlang dem entity geschieht und ** entity ist ein fall von Exhaust %n{nicht} %n{nicht}
(=> (instance ?GP GasPedal) (hasPurpose ?GP (exists (?P ?T ?F ?E ?A) (and (instance ?P Pushing) (instance ?T Transfer) (instance ?F Fuel) (instance ?E Engine) (instance ?A Automobile) (part ?GP ?A) (part ?E ?A) (destination ?P ?GP) (destination ?T ?E) (patient ?T ?F) (causes ?P ?T)))))	Cars.kif 2540-2555	Wenn Physical ist ein fall von GasPedal %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity,, , entity, and und entity um entity ist ein fall von Pushing %n{nicht} und entity ist ein fall von Transfer %n{nicht} und entity ist ein fall von Fuel %n{nicht} und entity ist ein fall von Engine %n{nicht} und entity ist ein fall von Automobile %n{nicht} und Physical ist ein teil von entity %n{nicht} und entity ist ein teil von entity %n{nicht} und entity endet an Physical %n{nicht} und entity endet an entity %n{nicht} und entity ist ein patient von entity %n{nicht} und entity verursacht entity %n{nicht} %n{nicht}
(=> (instance ?GT GasTank) (hasPurpose ?GT (exists (?F ?T ?E) (and (instance ?F Fuel) (contains ?GT ?F) (instance ?E Engine) (instance ?T Transfer) (origin ?T ?GT) (destination ?T ?E) (patient ?T ?F)))))	Cars.kif 1000-1011	Wenn Physical ist ein fall von GasTank %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von Fuel %n{nicht} und contains Physical and entity und entity ist ein fall von Engine %n{nicht} und entity ist ein fall von Transfer %n{nicht} und entity beginnet an Physical %n{nicht} und entity endet an entity %n{nicht} und entity ist ein patient von entity %n{nicht} %n{nicht}
(=> (instance ?HEART Heart) (exists (?TRANSFER ?BLOOD) (and (instance ?TRANSFER Transfer) (instance ?BLOOD Blood) (instrument ?TRANSFER ?HEART) (patient ?TRANSFER ?BLOOD))))	Mid-level-ontology.kif 11341-11348	Wenn Object ist ein fall von Heart %n{nicht}, dann es gibt Process und Entity um Process ist ein fall von Transfer %n{nicht} und Entity ist ein fall von Blood %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Entity ist ein patient von Process %n{nicht}
(=> (instance ?IV IntakeValve) (hasPurpose ?IV (exists (?A ?FV ?CC ?T) (and (instance ?A Automobile) (instance ?FV FuelVapor) (instance ?CC CombustionChamber) (instance ?T Transfer) (part ?IV ?A) (part ?CC ?A) (patient ?T ?FV) (path ?T ?IV) (destination ?T ?CC)))))	Cars.kif 2690-2703	Wenn Physical ist ein fall von IntakeValve %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity, and und entity um entity ist ein fall von Automobile %n{nicht} und entity ist ein fall von FuelVapor %n{nicht} und entity ist ein fall von CombustionChamber %n{nicht} und entity ist ein fall von Transfer %n{nicht} und Physical ist ein teil von entity %n{nicht} und entity ist ein teil von entity %n{nicht} und entity ist ein patient von entity %n{nicht} und Physical ist der pfad entlang dem entity geschieht und entity endet an ** entity %n{nicht} %n{nicht}
(=> (instance ?MAS MassAirflowSensor) (hasPurpose ?MAS (exists (?T ?M ?A) (and (instance ?T Transfer) (instance ?A Air) (patient ?T ?A) (instance ?M Measuring) (patient ?M ?A) (instrument ?M ?MAS)))))	Cars.kif 3303-3313	Wenn Physical ist ein fall von MassAirflowSensor %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von Transfer %n{nicht} und entity ist ein fall von Air %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist ein fall von Measuring %n{nicht} und entity ist ein patient von entity %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} %n{nicht}
(=> (instance ?MHCV ManifoldHeatControlValve) (hasPurpose ?MHCV (exists (?H ?O ?E ?FV ?T) (and (instance ?H Heating) (instance ?O Opening) (instance ?E Exhaust) (instance ?T Transfer) (instance ?FV FuelVapor) (patient ?O ?MHCV) (instrument ?H ?E) (patient ?H ?FV) (path ?T ?MHCV) (causes ?O ?T) (causes ?T ?H)))))	Cars.kif 3262-3277	Wenn Physical ist ein fall von ManifoldHeatControlValve %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity,, , entity, and und entity um entity ist ein fall von Heating %n{nicht} und entity ist ein fall von Opening %n{nicht} und entity ist ein fall von Exhaust %n{nicht} und entity ist ein fall von Transfer %n{nicht} und entity ist ein fall von FuelVapor %n{nicht} und Physical ist ein patient von entity %n{nicht} und entity ist ein instrument fuer entity %n{nicht} und entity ist ein patient von entity %n{nicht} und Physical ist der pfad entlang dem entity geschieht und entity verursacht entity %n{nicht} und entity verursacht ** entity %n{nicht} %n{nicht}
(=> (instance ?PCVV PositiveCrankcaseVentilationValve) (hasPurpose ?PCVV (exists (?CR ?F ?CC ?T ?A) (and (instance ?CR Crankcase) (instance ?F Fuel) (instance ?CC CombustionChamber) (instance ?T Transfer) (instance ?A Automobile) (part ?CR ?A) (part ?CC ?A) (part ?PCVV ?A) (origin ?T ?CR) (destination ?T ?CC) (objectTransferred ?T ?F) (path ?T ?PCVV)))))	Cars.kif 3818-3834	Wenn Physical ist ein fall von PositiveCrankcaseVentilationValve %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity,, , entity, and und entity um entity ist ein fall von Crankcase %n{nicht} und entity ist ein fall von Fuel %n{nicht} und entity ist ein fall von CombustionChamber %n{nicht} und entity ist ein fall von Transfer %n{nicht} und entity ist ein fall von Automobile %n{nicht} und entity ist ein teil von entity %n{nicht} und entity ist ein teil von entity %n{nicht} und Physical ist ein teil von entity %n{nicht} und entity beginnet an entity %n{nicht} und entity endet an entity %n{nicht} und objectTransferred entity and entity und Physical ist der pfad entlang dem entity geschieht %n{nicht}
(=> (instance ?ROOT PlantRoot) (hasPurpose ?ROOT (exists (?TRAN ?STUFF ?HOST) (and (instance ?TRAN Transfer) (instrument ?TRAN ?ROOT) (origin ?TRAN ?HOST) (orientation ?HOST ?ROOT Outside) (objectTransferred ?TRAN ?STUFF) (or (instance ?STUFF FreshWater) (instance ?STUFF Nutrient))))))	Mid-level-ontology.kif 9507-9519	Wenn Physical ist ein fall von PlantRoot %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von Transfer %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} und entity beginnet an entity %n{nicht} und entity ist Outside hinsichlich Physical %n{nicht} und objectTransferred entity and entity und entity ist ein fall von FreshWater %n{nicht} oder ** entity ist ein fall von Nutrient %n{nicht} %n{nicht}
(=> (instance ?STEM PlantStem) (hasPurpose ?STEM (exists (?TRAN ?ROOT ?SUB) (and (instance ?TRAN Transfer) (instrument ?TRAN ?STEM) (instance ?ROOT PlantRoot) (origin ?TRAN ?ROOT) (instance ?SUB Substance) (attribute ?SUB Fluid) (objectTransferred ?TRAN ?SUB)))))	Mid-level-ontology.kif 9546-9557	Wenn Physical ist ein fall von PlantStem %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von Transfer %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} und entity ist ein fall von PlantRoot %n{nicht} und entity beginnet an entity %n{nicht} und entity ist ein fall von Substance %n{nicht} und Fluid ist ein attribut von entity %n{nicht} und objectTransferred entity and entity %n{nicht}
(=> (instance ?T Tube) (hasPurpose ?T (exists (?P ?OBJ) (and (instance ?P Transfer) (path ?P ?T) (patient ?P ?OBJ) (attribute ?OBJ Fluid)))))	Mid-level-ontology.kif 1527-1535	Wenn Physical ist ein fall von Tube %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Transfer %n{nicht} und Physical ist der pfad entlang dem entity geschieht und entity ist ein patient von entity %n{nicht} und Fluid ist ein attribut von entity %n{nicht} %n{nicht}
(=> (instance ?V Valve) (hasPurpose ?V (exists (?FLUID ?PROC ?FLOW) (and (instance ?FLOW Transfer) (path ?FLOW ?V) (patient ?FLOW ?FLUID) (attribute ?FLUID Fluid) (instance ?PROC Process) (instrument ?PROC ?V) (patient ?PROC ?FLOW)))))	engineering.kif 914-925	Wenn Physical ist ein fall von Valve %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von Transfer %n{nicht} und Physical ist der pfad entlang dem entity geschieht und entity ist ein patient von entity %n{nicht} und Fluid ist ein attribut von entity %n{nicht} und entity ist ein fall von Process %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} und entity ist ein patient von ** entity %n{nicht} %n{nicht}
(=> (instance ?VESSEL BloodVessel) (exists (?BLOOD ?TRANSFER) (and (instance ?BLOOD Blood) (instance ?TRANSFER Transfer) (patient ?TRANSFER ?BLOOD) (instrument ?TRANSFER ?VESSEL))))	Mid-level-ontology.kif 11082-11089	Wenn Object ist ein fall von BloodVessel %n{nicht}, dann es gibt Entity und Process um Entity ist ein fall von Blood %n{nicht} und Process ist ein fall von Transfer %n{nicht} und Entity ist ein patient von Process %n{nicht} und Object ist ein instrument fuer Process %n{nicht}
(=> (instance ?VRR VehicleRoofRack) (hasPurpose ?VRR (exists (?T ?A ?C) (and (instance ?T Transfer) (patient ?T ?C) (instance ?A Automobile) (orientation ?VRR ?A Outside) (meetsSpatially ?C ?VRR) (part ?VRR ?A) (instrument ?T ?A)))))	Cars.kif 4669-4680	Wenn Physical ist ein fall von VehicleRoofRack %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von Transfer %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist ein fall von Automobile %n{nicht} und Physical ist Outside hinsichlich entity %n{nicht} und entity schliesst Physical raeumlich an und Physical ist ein teil von entity %n{nicht} und entity ist ein instrument fuer ** entity %n{nicht} %n{nicht}
(=> (instance ?WP WaterPump) (hasPurpose ?WP (exists (?T ?W) (and (instance ?T Transfer) (instance ?W FreshWater) (objectTransferred ?T ?W) (instrument ?T ?WP)))))	Cars.kif 2769-2777	Wenn Physical ist ein fall von WaterPump %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Transfer %n{nicht} und entity ist ein fall von FreshWater %n{nicht} und objectTransferred entity and entity und Physical ist ein instrument fuer entity %n{nicht} %n{nicht}
(=> (orientation ?O1 ?O2 Downstream) (exists (?T ?L ?P) (and (instance ?T Transfer) (attribute ?L Liquid) (path ?T ?P) (origin ?T ?O2) (beforeOnPath ?O2 ?O1 ?P ?T) (destination ?T ?O1))))	Mid-level-ontology.kif 29801-29810	Wenn Object ist Downstream hinsichlich Object %n{nicht}, dann es gibt Transfer, Object, and und Object um Transfer ist ein fall von Transfer %n{nicht} und Liquid ist ein attribut von Object %n{nicht} und Object ist der pfad entlang dem Transfer geschieht und Transfer beginnet an Object %n{nicht} und beforeOnPath Object, Object, Object and Transfer und Transfer endet an Object %n{nicht}
(=> (orientation ?O1 ?O2 Downwind) (exists (?T ?L ?P) (and (instance ?T Transfer) (attribute ?L Liquid) (path ?T ?P) (origin ?T ?O2) (beforeOnPath ?O2 ?O1 ?P ?T) (destination ?T ?O1))))	Mid-level-ontology.kif 29823-29832	Wenn Object ist Downwind hinsichlich Object %n{nicht}, dann es gibt Transfer, Object, and und Object um Transfer ist ein fall von Transfer %n{nicht} und Liquid ist ein attribut von Object %n{nicht} und Object ist der pfad entlang dem Transfer geschieht und Transfer beginnet an Object %n{nicht} und beforeOnPath Object, Object, Object and Transfer und Transfer endet an Object %n{nicht}
(=> (orientation ?O1 ?O2 Upstream) (exists (?T ?L ?P) (and (instance ?T Transfer) (attribute ?L Liquid) (path ?T ?P) (origin ?T ?O1) (beforeOnPath ?O1 ?O2 ?P ?T) (destination ?T ?O2))))	Mid-level-ontology.kif 29790-29799	Wenn Object ist Upstream hinsichlich Object %n{nicht}, dann es gibt Transfer, Object, and und Object um Transfer ist ein fall von Transfer %n{nicht} und Liquid ist ein attribut von Object %n{nicht} und Object ist der pfad entlang dem Transfer geschieht und Transfer beginnet an Object %n{nicht} und beforeOnPath Object, Object, Object and Transfer und Transfer endet an Object %n{nicht}

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: