Transfer - Sigma 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	移動は Translocation の subclass では %n

appearance as argument number 2

(subclass Carrying Transfer)	Merge.kif 11388-11388	Carrying は移動の subclass では %n
(subclass ChangingClothing Transfer)	Mid-level-ontology.kif 5519-5519	ChangingClothing は移動の subclass では %n
(subclass DeliveryService Transfer)	Dining.kif 526-526	DeliveryService は移動の subclass では %n
(subclass ElectricTransmission Transfer)	Cars.kif 2388-2388	ElectricTransmission は移動の subclass では %n
(subclass Impelling Transfer)	Merge.kif 11490-11490	強いることは移動の subclass では %n
(subclass Ingesting Transfer)	Merge.kif 10269-10269	摂取は移動の subclass では %n
(subclass IntraosseousInfusion Transfer)	Medicine.kif 1169-1169	IntraosseousInfusion は移動の subclass では %n
(subclass Mailing Transfer)	Mid-level-ontology.kif 6646-6646	Mailing は移動の subclass では %n
(subclass Messaging Transfer)	Mid-level-ontology.kif 6650-6650	Messaging は移動の subclass では %n
(subclass MovingResidence Transfer)	Mid-level-ontology.kif 18054-18054	MovingResidence は移動の subclass では %n
(subclass Pouring Transfer)	Mid-level-ontology.kif 17533-17533	Pouring は移動の subclass では %n
(subclass Putting Transfer)	Merge.kif 11421-11421	置くは移動の subclass では %n
(subclass Releasing Transfer)	Merge.kif 11540-11540	Releasing は移動の subclass では %n
(subclass Removing Transfer)	Merge.kif 11400-11400	除却は移動の subclass では %n
(subclass Spraying Transfer)	Mid-level-ontology.kif 17602-17602	Spraying は移動の subclass では %n
(subclass Substituting Transfer)	Merge.kif 11470-11470	代用は移動の subclass では %n
(subclass Swallowing Transfer)	Mid-level-ontology.kif 6587-6587	Swallowing は移動の subclass では %n
(subclass Touching Transfer)	Merge.kif 11502-11502	接触は移動の subclass では %n
(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 引数は移動の instance では %n
(domain objectTransferred 1 Transfer)	Merge.kif 11354-11354	objectTransferred の数値 1 引数は移動の instance では %n

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	betweenOnPath オブジェクト, オブジェクト, オブジェクト and オブジェクト移動は移動の instance では %n オブジェクトは移動が発生する path では %n 移動はオブジェクトから originates %n{ない} 移動はオブジェクトに ends %n{ない} beforeOnPath オブジェクト, オブジェクト, オブジェクト and 移動 beforeOnPath オブジェクト, オブジェクト, オブジェクト and 移動
(=> (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	オブジェクトは Artery の instance では %n 工程は移動の instance では %n エンティティーは工程の patient では %n オブジェクトは工程の instrument では %n エンティティーは血の instance では %n オブジェクトオブジェクトは Heart の instance では %n 工程はオブジェクトから originates %n{ない}
(=> (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	オブジェクトは PulmonaryArtery の instance では %n 工程は移動の instance では %n エンティティーは工程の patient では %n オブジェクトは工程の instrument では %n エンティティーは血の instance では %n エンティティーエンティティーは Lung の instance では %n 工程はエンティティーに ends %n{ない}
(=> (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	微粒子オブジェクトは Exhaust の instance では %n Fuel は微粒子オブジェクトで made %n 移動は移動の instance では %n 微粒子オブジェクトNG は Engine の instance では %n 移動は微粒子オブジェクトNG から originates %n{ない} 物理は CatalyticConverter の instance では %n 移動は物理に ends %n{ない} objectTransferred 移動 and 微粒子オブジェクト物理はエンティティーエンティティーは燃焼の instance では %n 物理はエンティティーの instrument では %n 微粒子オブジェクトはエンティティーの patient では %n eventLocated エンティティー and 物理の目的 %n{ない}
(=> (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	オブジェクトは Electromagnet の instance では %n 移動は移動の instance では %n オブジェクトは Electricity の instance では %n objectTransferred 移動 and オブジェクトオブジェクトは移動が発生する path では %n 工程工程は Magnetism の instance では %n オブジェクトは工程の instrument では %n
(=> (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	エンティティーは Electromagnet の instance では %n エンティティーエンティティーエンティティーは移動の instance では %n エンティティーは Electricity の instance では %n objectTransferred エンティティー and エンティティーエンティティーはエンティティーが発生する path では %n はエンティティー1 の during hold ないエンティティーエンティティーは Magnetism の instance では %n エンティティーはエンティティーの instrument では %n はエンティティー1 の during hold ない
(=> (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	オブジェクトは Tailpipe の instance では %n オブジェクトR は移動の instance では %n エンティティーは Exhaust の instance では %n オブジェクトは Automobile の instance では %n オブジェクトES は AutomobileExhaustSystem の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトはオブジェクトR が発生する path では %n エンティティーはオブジェクトR の patient では %n オブジェクトはエンティティーエンティティーはオブジェクトの part では %n beforeOnPath オブジェクト, エンティティー, オブジェクトES and オブジェクトR の目的 %n{ない}
(=> (and (instance ?T Transfer) (objectTransferred ?T ?O) (orientation ?O2 ?O Inside)) (objectTransferred ?T ?O2))	Merge.kif 11374-11379	移動は移動の instance では %n objectTransferred 移動 and オブジェクトオブジェクト2 は Inside 対オブジェクトでは %n objectTransferred 移動 and オブジェクト2
(=> (and (instance ?T Transfer) (objectTransferred ?T ?O) (orientation ?O2 ?O On)) (objectTransferred ?T ?O2))	Merge.kif 11381-11386	移動は移動の instance では %n objectTransferred 移動 and オブジェクトオブジェクト2 は On 対オブジェクトでは %n objectTransferred 移動 and オブジェクト2
(=> (and (instance ?TRANSFER Transfer) (agent ?TRANSFER ?AGENT) (patient ?TRANSFER ?PATIENT)) (not (equal ?AGENT ?PATIENT)))	Merge.kif 11319-11325	工程は移動の instance では %n AutonomousAgent は工程の agent では %n エンティティーは工程の patient では %n AutonomousAgent はエンティティーと equal では
(=> (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	オブジェクトは PulmonaryVein の instance では %n 工程は移動の instance では %n エンティティーは工程の patient では %n オブジェクトは工程の instrument では %n エンティティーは血の instance では %n オブジェクトオブジェクト and オブジェクトオブジェクトは Lung の instance では %n 工程はオブジェクトから originates %n{ない} オブジェクトはオブジェクトの part では %n オブジェクトはオブジェクトの part では %n オブジェクトはオブジェクトの part では %n オブジェクトは Heart の instance では %n 工程はオブジェクトに ends %n{ない}
(=> (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	オブジェクトは Vein の instance では %n 工程は移動の instance では %n エンティティーは工程の patient では %n オブジェクトは工程の instrument では %n エンティティーは血の instance では %n エンティティーエンティティーは Heart の instance では %n 工程はエンティティーに ends %n{ない}

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	自己接続オブジェクトは AutomobileShock の instance では %n 工程は Compressing の instance では %n HoleRegion は HoleRegion の instance では %n Fluid はオブジェクトの attribute では %n 自己接続オブジェクトはホール HoleRegion の host と equal では %n 自己接続オブジェクトはオブジェクトを contains %n{ない} 自己接続オブジェクトは工程の patient では %n 移動移動は移動の instance では %n objectTransferred 移動 and オブジェクト HoleRegion は移動が発生する path では %n 工程は移動を causes %n{ない}
(=> (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	工程は Edema の instance では %n AutonomousAgent が工程を experiences %n{ない} motion オブジェクト and オブジェクト motion は移動の instance では %n オブジェクトは Liquid の instance では %n オブジェクトは体の部分の instance では %n オブジェクトは AutonomousAgent の part では %n motion はオブジェクトに ends %n{ない} moves motion and オブジェクト motion は工程% の subprocess では %n
(=> (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	工程は GERefluxDisease の instance では %n AutonomousAgent が工程を experiences %n{ない} 工程オブジェクト and オブジェクト工程は移動の instance では %n 工程はオブジェクトから originates %n{ない} オブジェクトは Stomach の instance では %n オブジェクトは Esophagus の instance では %n 工程はオブジェクトに ends %n{ない} オブジェクトは AutonomousAgent の part では %n オブジェクトは AutonomousAgent の part では %n 工程は工程% の subprocess では %n
(=> (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	工程は DutyTax の instance では %n 工程はエンティティーへの reference を includes %n{ない} エンティティーは工程の patient では %n 工程オブジェクト and エンティティー工程は移動の instance では %n エンティティーは工程の patient では %n 工程はオブジェクトから originates %n{ない} 工程はエンティティーに ends %n{ない} オブジェクトは国民の instance では %n エンティティーは国民の instance では %n オブジェクトはエンティティーと equal では工程の time の existence は工程の time の existence より earlier happens %n{ない} 工程は工程を causes %n{ない}
(=> (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	物理は AirIntake の instance では %n 物理はエンティティーエンティティー and エンティティーエンティティーは Air の instance では %n エンティティーは Engine の instance では %n エンティティーは移動の instance では %n エンティティーは物理から originates %n{ない} エンティティーはエンティティーに ends %n{ない} エンティティーはエンティティーの patient では %n の目的 %n{ない}
(=> (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	物理は Bag の instance では %n 物理はエンティティーエンティティーエンティティーは移動の instance では %n エンティティーはオブジェクトの instance では %n 物理はエンティティーを contains %n{ない} 物理はエンティティーの instrument では %n エンティティーはエンティティーの patient では %n の目的 %n{ない}
(=> (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	物理は ExhaustManifold の instance では %n 物理はエンティティーエンティティー, エンティティー, エンティティー and エンティティーエンティティーは Automobile の instance では %n エンティティーは Exhaust の instance では %n エンティティーは EngineCylinder の instance では %n エンティティーは AutomobileMuffler の instance では %n エンティティーは移動の instance では %n 物理はエンティティーの part では %n エンティティーはエンティティーの part では %n エンティティーはエンティティーの part では %n エンティティーはエンティティーから originates %n{ない} エンティティーはエンティティーに ends %n{ない} エンティティーはエンティティーの patient では %n エンティティーはエンティティーの instrument では %n の目的 %n{ない}
(=> (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	物理は ExhaustValve の instance では %n 物理はエンティティーエンティティーエンティティーは移動の instance では %n objectTransferred エンティティー and エンティティー物理はエンティティーが発生する path では %n エンティティーは Exhaust の instance では %n の目的 %n{ない}
(=> (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	物理は GasPedal の instance では %n 物理はエンティティーエンティティー, エンティティー, エンティティー and エンティティーエンティティーは Pushing の instance では %n エンティティーは移動の instance では %n エンティティーは Fuel の instance では %n エンティティーは Engine の instance では %n エンティティーは Automobile の instance では %n 物理はエンティティーの part では %n エンティティーはエンティティーの part では %n エンティティーは物理に ends %n{ない} エンティティーはエンティティーに ends %n{ない} エンティティーはエンティティーの patient では %n エンティティーはエンティティーを causes %n{ない} の目的 %n{ない}
(=> (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	物理は GasTank の instance では %n 物理はエンティティーエンティティー and エンティティーエンティティーは Fuel の instance では %n 物理はエンティティーを contains %n{ない} エンティティーは Engine の instance では %n エンティティーは移動の instance では %n エンティティーは物理から originates %n{ない} エンティティーはエンティティーに ends %n{ない} エンティティーはエンティティーの patient では %n の目的 %n{ない}
(=> (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	オブジェクトは Heart の instance では %n 工程エンティティー工程は移動の instance では %n エンティティーは血の instance では %n オブジェクトは工程の instrument では %n エンティティーは工程の patient では %n
(=> (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	物理は IntakeValve の instance では %n 物理はエンティティーエンティティー, エンティティー and エンティティーエンティティーは Automobile の instance では %n エンティティーは FuelVapor の instance では %n エンティティーは CombustionChamber の instance では %n エンティティーは移動の instance では %n 物理はエンティティーの part では %n エンティティーはエンティティーの part では %n エンティティーはエンティティーの patient では %n 物理はエンティティーが発生する path では %n エンティティーはエンティティーに ends %n{ない} の目的 %n{ない}
(=> (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	物理は MassAirflowSensor の instance では %n 物理はエンティティーエンティティー and エンティティーエンティティーは移動の instance では %n エンティティーは Air の instance では %n エンティティーはエンティティーの patient では %n エンティティーは計測の instance では %n エンティティーはエンティティーの patient では %n 物理はエンティティーの instrument では %n の目的 %n{ない}
(=> (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	物理は ManifoldHeatControlValve の instance では %n 物理はエンティティーエンティティー, エンティティー, エンティティー and エンティティーエンティティーは加熱の instance では %n エンティティーは Opening の instance では %n エンティティーは Exhaust の instance では %n エンティティーは移動の instance では %n エンティティーは FuelVapor の instance では %n 物理はエンティティーの patient では %n エンティティーはエンティティーの instrument では %n エンティティーはエンティティーの patient では %n 物理はエンティティーが発生する path では %n エンティティーはエンティティーを causes %n{ない} エンティティーはエンティティーを causes %n{ない} の目的 %n{ない}
(=> (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	物理は PositiveCrankcaseVentilationValve の instance では %n 物理はエンティティーエンティティー, エンティティー, エンティティー and エンティティーエンティティーは Crankcase の instance では %n エンティティーは Fuel の instance では %n エンティティーは CombustionChamber の instance では %n エンティティーは移動の instance では %n エンティティーは Automobile の instance では %n エンティティーはエンティティーの part では %n エンティティーはエンティティーの part では %n 物理はエンティティーの part では %n エンティティーはエンティティーから originates %n{ない} エンティティーはエンティティーに ends %n{ない} objectTransferred エンティティー and エンティティー物理はエンティティーが発生する path では %n の目的 %n{ない}
(=> (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	物理は PlantRoot の instance では %n 物理はエンティティーエンティティー and エンティティーエンティティーは移動の instance では %n 物理はエンティティーの instrument では %n エンティティーはエンティティーから originates %n{ない} エンティティーは Outside 対物理では %n objectTransferred エンティティー and エンティティーエンティティーは FreshWater の instance では %n エンティティーは栄養素［栄養物］の instance では %n の目的 %n{ない}
(=> (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	物理は PlantStem の instance では %n 物理はエンティティーエンティティー and エンティティーエンティティーは移動の instance では %n 物理はエンティティーの instrument では %n エンティティーは PlantRoot の instance では %n エンティティーはエンティティーから originates %n{ない} エンティティーは物質の instance では %n Fluid はエンティティーの attribute では %n objectTransferred エンティティー and エンティティーの目的 %n{ない}
(=> (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	物理は Tube の instance では %n 物理はエンティティーエンティティーエンティティーは移動の instance では %n 物理はエンティティーが発生する path では %n エンティティーはエンティティーの patient では %n Fluid はエンティティーの attribute では %n の目的 %n{ない}
(=> (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	物理は Valve の instance では %n 物理はエンティティーエンティティー and エンティティーエンティティーは移動の instance では %n 物理はエンティティーが発生する path では %n エンティティーはエンティティーの patient では %n Fluid はエンティティーの attribute では %n エンティティーは工程の instance では %n 物理はエンティティーの instrument では %n エンティティーはエンティティーの patient では %n の目的 %n{ない}
(=> (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	オブジェクトは BloodVessel の instance では %n エンティティー工程エンティティーは血の instance では %n 工程は移動の instance では %n エンティティーは工程の patient では %n オブジェクトは工程の instrument では %n
(=> (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	物理は VehicleRoofRack の instance では %n 物理はエンティティーエンティティー and エンティティーエンティティーは移動の instance では %n エンティティーはエンティティーの patient では %n エンティティーは Automobile の instance では %n 物理は Outside 対エンティティーでは %n エンティティーは物理と meets %n{ない} 物理はエンティティーの part では %n エンティティーはエンティティーの instrument では %n の目的 %n{ない}
(=> (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	物理は WaterPump の instance では %n 物理はエンティティーエンティティーエンティティーは移動の instance では %n エンティティーは FreshWater の instance では %n objectTransferred エンティティー and エンティティー物理はエンティティーの instrument では %n の目的 %n{ない}
(=> (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	オブジェクトは Downstream 対オブジェクトでは %n 移動オブジェクト and オブジェクト移動は移動の instance では %n Liquid はオブジェクトの attribute では %n オブジェクトは移動が発生する path では %n 移動はオブジェクトから originates %n{ない} beforeOnPath オブジェクト, オブジェクト, オブジェクト and 移動移動はオブジェクトに ends %n{ない}
(=> (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	オブジェクトは Downwind 対オブジェクトでは %n 移動オブジェクト and オブジェクト移動は移動の instance では %n Liquid はオブジェクトの attribute では %n オブジェクトは移動が発生する path では %n 移動はオブジェクトから originates %n{ない} beforeOnPath オブジェクト, オブジェクト, オブジェクト and 移動移動はオブジェクトに ends %n{ない}
(=> (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	オブジェクトは Upstream 対オブジェクトでは %n 移動オブジェクト and オブジェクト移動は移動の instance では %n Liquid はオブジェクトの attribute では %n オブジェクトは移動が発生する path では %n 移動はオブジェクトから originates %n{ない} beforeOnPath オブジェクト, オブジェクト, オブジェクト and 移動移動はオブジェクトに ends %n{ない}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: