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 11316-11317
(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 11314-11314	Transfer ist eine teilkategorie von Translocation

appearance as argument number 2

(subclass Carrying Transfer)	Merge.kif 11388-11388	Carrying ist eine teilkategorie von Transfer
(subclass ChangingClothing Transfer)	Mid-level-ontology.kif 5519-5519	ChangingClothing ist eine teilkategorie von Transfer
(subclass DeliveryService Transfer)	Dining.kif 526-526	DeliveryService ist eine teilkategorie von Transfer
(subclass ElectricTransmission Transfer)	Cars.kif 2388-2388	ElectricTransmission ist eine teilkategorie von Transfer
(subclass Impelling Transfer)	Merge.kif 11490-11490	Impelling ist eine teilkategorie von Transfer
(subclass Ingesting Transfer)	Merge.kif 10269-10269	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 6646-6646	Mailing ist eine teilkategorie von Transfer
(subclass Messaging Transfer)	Mid-level-ontology.kif 6650-6650	Messaging ist eine teilkategorie von Transfer
(subclass MovingResidence Transfer)	Mid-level-ontology.kif 18054-18054	MovingResidence ist eine teilkategorie von Transfer
(subclass Pouring Transfer)	Mid-level-ontology.kif 17533-17533	Pouring ist eine teilkategorie von Transfer
(subclass Putting Transfer)	Merge.kif 11421-11421	Putting ist eine teilkategorie von Transfer
(subclass Releasing Transfer)	Merge.kif 11540-11540	Releasing ist eine teilkategorie von Transfer
(subclass Removing Transfer)	Merge.kif 11400-11400	Removing ist eine teilkategorie von Transfer
(subclass Spraying Transfer)	Mid-level-ontology.kif 17602-17602	Spraying ist eine teilkategorie von Transfer
(subclass Substituting Transfer)	Merge.kif 11470-11470	Substituting ist eine teilkategorie von Transfer
(subclass Swallowing Transfer)	Mid-level-ontology.kif 6587-6587	Swallowing ist eine teilkategorie von Transfer
(subclass Touching Transfer)	Merge.kif 11502-11502	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 29760-29760	Die Zahl 4 Argument von beforeOnPath ist ein fall von Transfer %n{nicht}
(domain objectTransferred 1 Transfer)	Merge.kif 11354-11354	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 29767-29776	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 11107-11117	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 11140-11150	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 1723-1739	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 3901-3911	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 3913-3929	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 4054-4069	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 11374-11379	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 11381-11386	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 11319-11325	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 11156-11171	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 11124-11134	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 9963-9975	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 2635-2651	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 2671-2679	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 2546-2561	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 11340-11347	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 2696-2709	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 3311-3321	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 3270-3285	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 3826-3842	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 9506-9518	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 9545-9556	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 11081-11088	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 4677-4688	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 2775-2783	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 29789-29798	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 29811-29820	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 29778-29787	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: