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 and 易位

appearance as argument number 2

(subclass Carrying Transfer)	Merge.kif 11388-11388	子類攜帶 and Transfer
(subclass ChangingClothing Transfer)	Mid-level-ontology.kif 5519-5519	子類換衣服 and Transfer
(subclass DeliveryService Transfer)	Dining.kif 526-526	子類 DeliveryService and Transfer
(subclass ElectricTransmission Transfer)	Cars.kif 2388-2388	子類 ElectricTransmission and Transfer
(subclass Impelling Transfer)	Merge.kif 11490-11490	子類 Impelling and Transfer
(subclass Ingesting Transfer)	Merge.kif 10269-10269	子類 Ingesting and Transfer
(subclass IntraosseousInfusion Transfer)	Medicine.kif 1169-1169	子類 IntraosseousInfusion and Transfer
(subclass Mailing Transfer)	Mid-level-ontology.kif 6646-6646	子類郵件 and Transfer
(subclass Messaging Transfer)	Mid-level-ontology.kif 6650-6650	子類訊息 and Transfer
(subclass MovingResidence Transfer)	Mid-level-ontology.kif 18054-18054	子類搬家 and Transfer
(subclass Pouring Transfer)	Mid-level-ontology.kif 17533-17533	子類澆注 and Transfer
(subclass Putting Transfer)	Merge.kif 11421-11421	子類 Putting and Transfer
(subclass Releasing Transfer)	Merge.kif 11540-11540	子類釋放 and Transfer
(subclass Removing Transfer)	Merge.kif 11400-11400	子類 Removing and Transfer
(subclass Spraying Transfer)	Mid-level-ontology.kif 17602-17602	子類噴 and Transfer
(subclass Substituting Transfer)	Merge.kif 11470-11470	子類 Substituting and Transfer
(subclass Swallowing Transfer)	Mid-level-ontology.kif 6587-6587	子類 Swallowing and Transfer
(subclass Touching Transfer)	Merge.kif 11502-11502	子類 Touching and 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	域 beforeOnPath, 4 and Transfer
(domain objectTransferred 1 Transfer)	Merge.kif 11354-11354	域 objectTransferred, 1 and Transfer

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	Object 對於 Object between 在路徑 Object 例 Transfer and Transfer 路徑 Transfer and Object 起源 Transfer and Object 目的地 Transfer and Object beforeOnPath Object, Object, Object and Transfer 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	例 Object and 動脈例 Process and Transfer 患者 Process and Entity 儀器 Process and Object 例 Entity and Blood Object 例 Object and 心起源 Process and Object
(=> (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	例 Object and 肺動脈例 Process and Transfer 患者 Process and Entity 儀器 Process and Object 例 Entity and Blood Entity 例 Entity and 肺目的地 Process and Entity
(=> (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	例 CorpuscularObject and Exhaust 材料汽油 and CorpuscularObject 例 Transfer and Transfer 例 CorpuscularObjectNG and 發動機起源 Transfer and CorpuscularObjectNG 例 Physical and CatalyticConverter 目的地 Transfer and Physical objectTransferred Transfer and CorpuscularObject 有目的 Physical and entity 例 entity and Combustion 儀器 entity and Physical 患者 entity and CorpuscularObject entity 是 located 在 Physical
(=> (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	例 Object and Electromagnet 例 Transfer and Transfer 例 Object and 電力 objectTransferred Transfer and Object 路徑 Transfer and Object Process 例 Process and 磁儀器 Process and Object
(=> (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	例 Entity and Electromagnet 持有期間 TimePosition and entity entity 例 entity and Transfer 例 entity and 電力 objectTransferred entity and entity 路徑 entity and Entity 持有期間 TimePosition and entity 例 entity and 磁儀器 entity and Entity
(=> (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	例 Object and Tailpipe 例 ObjectR and Transfer 例 Entity and Exhaust 例 Object and 汽車例 ObjectES and AutomobileExhaustSystem 部分 Object and Object 路徑 ObjectR and Object 患者 ObjectR and Entity 有目的 Object and entity 部分 entity and Object beforeOnPath Object, entity, ObjectES and ObjectR
(=> (and (instance ?T Transfer) (objectTransferred ?T ?O) (orientation ?O2 ?O Inside)) (objectTransferred ?T ?O2))	Merge.kif 11374-11379	例 Transfer and Transfer objectTransferred Transfer and Object 方位 Object, Object and 內 objectTransferred Transfer and Object
(=> (and (instance ?T Transfer) (objectTransferred ?T ?O) (orientation ?O2 ?O On)) (objectTransferred ?T ?O2))	Merge.kif 11381-11386	例 Transfer and Transfer objectTransferred Transfer and Object 方位 Object, Object and 上 objectTransferred Transfer and Object
(=> (and (instance ?TRANSFER Transfer) (agent ?TRANSFER ?AGENT) (patient ?TRANSFER ?PATIENT)) (not (equal ?AGENT ?PATIENT)))	Merge.kif 11319-11325	例 Process and Transfer agent Process and AutonomousAgent 患者 Process and Entity 等於 AutonomousAgent and Entity
(=> (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	例 Object and 肺靜脈例 Process and Transfer 患者 Process and Entity 儀器 Process and Object 例 Entity and Blood Object Object and Object 例 Object and 肺起源 Process and Object 部分 Object and Object 部分 Object and Object 部分 Object and Object 例 Object and 心目的地 Process and Object
(=> (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	例 Object and 靜脈例 Process and Transfer 患者 Process and Entity 儀器 Process and Object 例 Entity and Blood Entity 例 Entity and 心目的地 Process and Entity

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	例 SelfConnectedObject and AutomobileShock 例 Process and Compressing 例 HoleRegion and HoleRegion attribute Object and 流體等於 SelfConnectedObject and 洞主持人 HoleRegion 包含 SelfConnectedObject and Object 患者 Process and SelfConnectedObject Transfer 例 Transfer and Transfer objectTransferred Transfer and Object 路徑 Transfer and HoleRegion 原因 Process and Transfer
(=> (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	例 Process and Edema 體驗者 Process and AutonomousAgent Motion Object and Object 例 Motion and Transfer 例 Object and 液體例 Object and BodyPart 部分 Object and AutonomousAgent 目的地 Motion and Object 移動 Motion and Object 子過程 Motion and 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	例 Process and GERefluxDisease 體驗者 Process and AutonomousAgent Process Object and Object 例 Process and Transfer 起源 Process and Object 例 Object and 胃例 Object and Esophagus 目的地 Process and Object 部分 Object and AutonomousAgent 部分 Object and AutonomousAgent 子過程 Process and 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	例 Process and 關稅參照 Process and Entity 患者 Process and Entity Process Object and Entity 例 Process and Transfer 患者 Process and Entity 起源 Process and Object 目的地 Process and Entity 例 Object and Nation 例 Entity and Nation 等於 Object and Entity 早期何時 Process and 何時 Process 原因 Process and Process
(=> (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	例 Physical and AirIntake 有目的 Physical and entity entity and entity 例 entity and 空氣例 entity and 發動機例 entity and Transfer 起源 entity and Physical 目的地 entity and entity 患者 entity and entity
(=> (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	例 Physical and 袋有目的 Physical and entity entity 例 entity and Transfer 例 entity and Object 包含 Physical and entity 儀器 entity and Physical 患者 entity and entity
(=> (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	例 Physical and ExhaustManifold 有目的 Physical and entity entity, entity, entity and entity 例 entity and 汽車例 entity and Exhaust 例 entity and EngineCylinder 例 entity and AutomobileMuffler 例 entity and Transfer 部分 Physical and entity 部分 entity and entity 部分 entity and entity 起源 entity and entity 目的地 entity and entity 患者 entity and entity 儀器 entity and entity
(=> (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	例 Physical and ExhaustValve 有目的 Physical and entity entity 例 entity and Transfer objectTransferred entity and entity 路徑 entity and Physical 例 entity and Exhaust
(=> (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	例 Physical and GasPedal 有目的 Physical and entity entity, entity, entity and entity 例 entity and Pushing 例 entity and Transfer 例 entity and 汽油例 entity and 發動機例 entity and 汽車部分 Physical and entity 部分 entity and entity 目的地 entity and Physical 目的地 entity and entity 患者 entity and entity 原因 entity and entity
(=> (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	例 Physical and GasTank 有目的 Physical and entity entity and entity 例 entity and 汽油包含 Physical and entity 例 entity and 發動機例 entity and Transfer 起源 entity and Physical 目的地 entity and entity 患者 entity and entity
(=> (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	例 Object and 心 Process Entity 例 Process and Transfer 例 Entity and Blood 儀器 Process and Object 患者 Process and Entity
(=> (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	例 Physical and IntakeValve 有目的 Physical and entity entity, entity and entity 例 entity and 汽車例 entity and FuelVapor 例 entity and CombustionChamber 例 entity and Transfer 部分 Physical and entity 部分 entity and entity 患者 entity and entity 路徑 entity and Physical 目的地 entity and entity
(=> (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	例 Physical and MassAirflowSensor 有目的 Physical and entity entity and entity 例 entity and Transfer 例 entity and 空氣患者 entity and entity 例 entity and Measuring 患者 entity and entity 儀器 entity and Physical
(=> (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	例 Physical and ManifoldHeatControlValve 有目的 Physical and entity entity, entity, entity and entity 例 entity and Heating 例 entity and 開盤例 entity and Exhaust 例 entity and Transfer 例 entity and FuelVapor 患者 entity and Physical 儀器 entity and entity 患者 entity and entity 路徑 entity and Physical 原因 entity and entity 原因 entity and entity
(=> (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	例 Physical and PositiveCrankcaseVentilationValve 有目的 Physical and entity entity, entity, entity and entity 例 entity and Crankcase 例 entity and 汽油例 entity and CombustionChamber 例 entity and Transfer 例 entity and 汽車部分 entity and entity 部分 entity and entity 部分 Physical and entity 起源 entity and entity 目的地 entity and entity objectTransferred entity and entity 路徑 entity and Physical
(=> (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	例 Physical and 植物根有目的 Physical and entity entity and entity 例 entity and Transfer 儀器 entity and Physical 起源 entity and entity 方位 entity, Physical and 外 objectTransferred entity and entity 例 entity and 淡水例 entity and Nutrient
(=> (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	例 Physical and PlantStem 有目的 Physical and entity entity and entity 例 entity and Transfer 儀器 entity and Physical 例 entity and 植物根起源 entity and entity 例 entity and Substance attribute entity and 流體 objectTransferred entity and entity
(=> (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	例 Physical and 管有目的 Physical and entity entity 例 entity and Transfer 路徑 entity and Physical 患者 entity and entity attribute entity and 流體
(=> (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	例 Physical and 閥有目的 Physical and entity entity and entity 例 entity and Transfer 路徑 entity and Physical 患者 entity and entity attribute entity and 流體例 entity and Process 儀器 entity and Physical 患者 entity and entity
(=> (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	例 Object and 血管 Entity Process 例 Entity and Blood 例 Process and Transfer 患者 Process and Entity 儀器 Process and Object
(=> (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	例 Physical and VehicleRoofRack 有目的 Physical and entity entity and entity 例 entity and Transfer 患者 entity and entity 例 entity and 汽車方位 Physical, entity and 外空間的符合 entity and Physical 部分 Physical and entity 儀器 entity and entity
(=> (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	例 Physical and WaterPump 有目的 Physical and entity entity 例 entity and Transfer 例 entity and 淡水 objectTransferred entity and entity 儀器 entity and Physical
(=> (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	方位 Object, Object and 下游 Transfer Object and Object 例 Transfer and Transfer attribute Object and 液體路徑 Transfer and Object 起源 Transfer and Object beforeOnPath Object, Object, Object and Transfer 目的地 Transfer and Object
(=> (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	方位 Object, Object and 順風 Transfer Object and Object 例 Transfer and Transfer attribute Object and 液體路徑 Transfer and Object 起源 Transfer and Object beforeOnPath Object, Object, Object and Transfer 目的地 Transfer and Object
(=> (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	方位 Object, Object and 上游的 Transfer Object and Object 例 Transfer and Transfer attribute Object and 液體路徑 Transfer and Object 起源 Transfer and Object beforeOnPath Object, Object, Object and Transfer 目的地 Transfer and Object

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: