Transfer - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4066-4066
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11316-11317
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1795-1796
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12019-12019
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12022-12022
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12023-12023
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12020-12020
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12024-12024
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12025-12025
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12018-12018
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12021-12021
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11314-11314	转移是易位的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11388-11388	携带是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5519-5519	换衣服是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	Dining.kif 526-526	DeliveryService 是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2388-2388	ElectricTransmission 是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11490-11490	驱动是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10269-10269	消化是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1169-1169	IntraosseousInfusion 是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6646-6646	邮件是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6650-6650	讯息是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18054-18054	搬家是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17533-17533	浇注是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11421-11421	放是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11540-11540	释放是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11400-11400	移除是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17602-17602	喷是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11470-11470	代替是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6587-6587	Swallowing 是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11502-11502	接触是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1119-1119
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1455-1455
No TPTP formula. May not be expressible in strict first order.	french_format.kif 797-797
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 329-329
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 332-332
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29760-29760	beforeOnPath 的 4 数量是转移的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11354-11354	objectTransferred 的 1 数量是转移的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29767-29776	如果客体對於另一个客体 between 在路徑第三客体和转移是转移的 instance 和第四客体%n是那个转移发生的path 和那个客体是那个转移的源头和那个转移在那个另外客体结束，然后 beforeOnPath 那个客体, 那个第三客体, 那个第四客体 and 那个转移和 beforeOnPath 那个第三客体, 那个另外客体, 那个第四客体 and 那个转移
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11107-11117	如果客体是动脉的 instance 和过程是转移的 instance 和实体是那个过程的 patient 和那个客体是导致那个过程的 instrument 和那个实体是血液的 instance，然后有存在另一个客体这样那个另外客体是心的 instance 和那个另外客体是那个过程的源头
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11140-11150	如果客体是肺动脉的 instance 和过程是转移的 instance 和实体是那个过程的 patient 和那个客体是导致那个过程的 instrument 和那个实体是血液的 instance，然后有存在另一个实体这样那个另外实体是肺的 instance 和那个过程在那个另外实体结束
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1723-1739	如果躯体性物体是 Exhaust 的 instance 和汽油是那个躯体性物体的材料和转移是转移的 instance 和那个躯体性物体NG 是发动机的 instance 和那个躯体性物体NG 是那个转移的源头和物理是 CatalyticConverter 的 instance 和那个转移在那个物理结束和 objectTransferred 那个转移 and 那个躯体性物体，然后那个物理的目的是有存在实体这样那个实体是燃烧的 instance 和那个物理是导致那个实体的 instrument 和那个躯体性物体是那个实体的 patient 和那个实体是 located 在那个物理
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3901-3911	如果客体是 Electromagnet 的 instance 和转移是转移的 instance 和另一个客体是电力的 instance 和 objectTransferred 那个转移 and 那个另外客体和那个客体%n是那个转移发生的path，然后有存在过程这样那个过程是磁的 instance 和那个客体是导致那个过程的 instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3913-3929	如果实体是 Electromagnet 的 instance 和有存在另一个实体和第三实体这样那个另外实体是转移的 instance 和那个第三实体是电力的 instance 和 objectTransferred 那个另外实体 and 那个第三实体和那个实体%n是那个另外实体发生的path doesn't 在那个另外实体1 holdsDuring，然后有存在第五实体这样那个第五实体是磁的 instance 和那个实体是导致那个第五实体的 instrument doesn't 在那个另外实体1 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4054-4069	如果客体是 Tailpipe 的 instance 和那个客体R 是转移的 instance 和实体是 Exhaust 的 instance 和另一个客体是汽车的 instance 和那个另外客体ES 是 AutomobileExhaustSystem 的 instance 和那个客体是那个另外客体的 part 和那个客体%n是那个客体R发生的path 和那个实体是那个客体R 的 patient，然后那个客体的目的是不存在第四实体这样那个第四实体是那个另外客体的 part 和 beforeOnPath 那个客体, 那个第四实体, 那个另外客体ES and 那个客体R
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11374-11379	如果转移是转移的 instance 和 objectTransferred 那个转移 and 客体和那个客体2 在那个客体的内，然后 objectTransferred 那个转移 and 那个客体2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11381-11386	如果转移是转移的 instance 和 objectTransferred 那个转移 and 客体和那个客体2 在那个客体的上，然后 objectTransferred 那个转移 and 那个客体2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11319-11325	如果过程是转移的 instance 和施事体是那个过程的 agent 和实体是那个过程的 patient，然后那个施事体不 equal 那个实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11156-11171	如果客体是肺静脉的 instance 和过程是转移的 instance 和实体是那个过程的 patient 和那个客体是导致那个过程的 instrument 和那个实体是血液的 instance，然后有存在另一个客体，第三客体， and 和第四客体这样那个另外客体是肺的 instance 和那个另外客体是那个过程的源头和那个客体是那个第四客体的 part 和那个另外客体是那个第四客体的 part 和那个第三客体是那个第四客体的 part 和那个第三客体是心的 instance 和那个过程在那个第三客体结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11124-11134	如果客体是静脉的 instance 和过程是转移的 instance 和实体是那个过程的 patient 和那个客体是导致那个过程的 instrument 和那个实体是血液的 instance，然后有存在另一个实体这样那个另外实体是心的 instance 和那个过程在那个另外实体结束

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 871-885	如果自身连接物体是 AutomobileShock 的 instance 和过程是 Compressing 的 instance 和洞是洞的 instance 和流体是客体的 attribute 和那个自身连接物体 equal 洞那个洞的主体和那个自身连接物体 contains 那个客体和那个自身连接物体是那个过程的 patient，然后有存在转移这样那个转移是转移的 instance 和 objectTransferred 那个转移 and 那个客体和那个洞%n是那个转移发生的path 和那个过程 causes 那个转移
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9963-9975	如果过程是 Edema 的 instance 和施事体经历了那个过程，然后有存在运动，客体， and 和另一个客体这样那个运动是转移的 instance 和那个另外客体是液体的 instance 和那个客体是身体部位的 instance 和那个客体是那个施事体的 part 和那个运动在那个客体结束和移动那个运动 and 那个另外客体和那个运动%n是那个过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1916-1929	如果过程是 GERefluxDisease 的 instance 和施事体经历了那个过程，然后有存在另一个过程，客体， and 和另一个客体这样那个另外过程是转移的 instance 和那个客体是那个另外过程的源头和那个客体是胃的 instance 和那个另外客体是 Esophagus 的 instance 和那个另外过程在那个另外客体结束和那个客体是那个施事体的 part 和那个另外客体是那个施事体的 part 和那个另外过程%n是那个过程的subProcess
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 949-964	如果过程是关税的 instance 和那个过程提到实体和那个实体是那个过程的 patient，然后有存在另一个过程，客体， and 和另一个实体这样那个另外过程是转移的 instance 和那个实体是那个另外过程的 patient 和那个客体是那个另外过程的源头和那个另外过程在那个另外实体结束和那个客体是国家的 instance 和那个另外实体是国家的 instance 和那个客体不 equal 那个另外实体和那个另外过程出现的 time 比那个过程出现的 time发生的earlier 和那个另外过程 causes 那个过程
No TPTP formula. May not be expressible in strict first order.	Cars.kif 973-983	如果物理是 AirIntake 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是空气的 instance 和那个另外实体是发动机的 instance 和那个第三实体是转移的 instance 和那个物理是那个第三实体的源头和那个第三实体在那个另外实体结束和那个实体是那个第三实体的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4461-4470	如果物理是袋的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是转移的 instance 和那个另外实体是客体的 instance 和那个物理 contains 那个另外实体和那个物理是导致那个实体的 instrument 和那个另外实体是那个实体的 patient
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2635-2651	如果物理是 ExhaustManifold 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体,，，第四实体， and 和第五实体这样那个实体是汽车的 instance 和那个另外实体是 Exhaust 的 instance 和那个第三实体是 EngineCylinder 的 instance 和那个第四实体是 AutomobileMuffler 的 instance 和那个第五实体是转移的 instance 和那个物理是那个实体的 part 和那个第三实体是那个实体的 part 和那个第四实体是那个实体的 part 和那个第三实体是那个第五实体的源头和那个第五实体在那个第四实体结束和那个另外实体是那个第五实体的 patient 和那个另外实体是导致那个第五实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2671-2679	如果物理是 ExhaustValve 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个另外实体是转移的 instance 和 objectTransferred 那个另外实体 and 那个实体和那个物理%n是那个另外实体发生的path 和那个实体是 Exhaust 的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2546-2561	如果物理是 GasPedal 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体,，，第四实体， and 和第五实体这样那个实体是 Pushing 的 instance 和那个另外实体是转移的 instance 和那个第三实体是汽油的 instance 和那个第四实体是发动机的 instance 和那个第五实体是汽车的 instance 和那个物理是那个第五实体的 part 和那个第四实体是那个第五实体的 part 和那个实体在那个物理结束和那个另外实体在那个第四实体结束和那个第三实体是那个另外实体的 patient 和那个实体 causes 那个另外实体
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1000-1011	如果物理是 GasTank 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是汽油的 instance 和那个物理 contains 那个实体和那个第三实体是发动机的 instance 和那个另外实体是转移的 instance 和那个物理是那个另外实体的源头和那个另外实体在那个第三实体结束和那个实体是那个另外实体的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11340-11347	如果客体是心的 instance，然后有存在过程和实体这样那个过程是转移的 instance 和那个实体是血液的 instance 和那个客体是导致那个过程的 instrument 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2696-2709	如果物理是 IntakeValve 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是汽车的 instance 和那个另外实体是 FuelVapor 的 instance 和那个第三实体是 CombustionChamber 的 instance 和那个第四实体是转移的 instance 和那个物理是那个实体的 part 和那个第三实体是那个实体的 part 和那个另外实体是那个第四实体的 patient 和那个物理%n是那个第四实体发生的path 和那个第四实体在那个第三实体结束
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3311-3321	如果物理是 MassAirflowSensor 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是转移的 instance 和那个第三实体是空气的 instance 和那个第三实体是那个实体的 patient 和那个另外实体是测量的 instance 和那个第三实体是那个另外实体的 patient 和那个物理是导致那个另外实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3270-3285	如果物理是 ManifoldHeatControlValve 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体,，，第四实体， and 和第五实体这样那个实体是加热的 instance 和那个另外实体是开盘的 instance 和那个第三实体是 Exhaust 的 instance 和那个第五实体是转移的 instance 和那个第四实体是 FuelVapor 的 instance 和那个物理是那个另外实体的 patient 和那个第三实体是导致那个实体的 instrument 和那个第四实体是那个实体的 patient 和那个物理%n是那个第五实体发生的path 和那个另外实体 causes 那个第五实体和那个第五实体 causes 那个实体
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3826-3842	如果物理是 PositiveCrankcaseVentilationValve 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体,，，第四实体， and 和第五实体这样那个实体是 Crankcase 的 instance 和那个另外实体是汽油的 instance 和那个第三实体是 CombustionChamber 的 instance 和那个第四实体是转移的 instance 和那个第五实体是汽车的 instance 和那个实体是那个第五实体的 part 和那个第三实体是那个第五实体的 part 和那个物理是那个第五实体的 part 和那个实体是那个第四实体的源头和那个第四实体在那个第三实体结束和 objectTransferred 那个第四实体 and 那个另外实体和那个物理%n是那个第四实体发生的path
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9506-9518	如果物理是植物根的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是转移的 instance 和那个物理是导致那个实体的 instrument 和那个第三实体是那个实体的源头和那个第三实体在那个物理的外和 objectTransferred 那个实体 and 那个另外实体和那个另外实体是淡水的 instance 或那个另外实体是营养的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9545-9556	如果物理是 PlantStem 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是转移的 instance 和那个物理是导致那个实体的 instrument 和那个另外实体是植物根的 instance 和那个另外实体是那个实体的源头和那个第三实体是物质的 instance 和流体是那个第三实体的 attribute 和 objectTransferred 那个实体 and 那个第三实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1527-1535	如果物理是管的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是转移的 instance 和那个物理%n是那个实体发生的path 和那个另外实体是那个实体的 patient 和流体是那个另外实体的 attribute
No TPTP formula. May not be expressible in strict first order.	engineering.kif 914-925	如果物理是阀的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个第三实体是转移的 instance 和那个物理%n是那个第三实体发生的path 和那个实体是那个第三实体的 patient 和流体是那个实体的 attribute 和那个另外实体是过程的 instance 和那个物理是导致那个另外实体的 instrument 和那个第三实体是那个另外实体的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11081-11088	如果客体是血管的 instance，然后有存在实体和过程这样那个实体是血液的 instance 和那个过程是转移的 instance 和那个实体是那个过程的 patient 和那个客体是导致那个过程的 instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4677-4688	如果物理是 VehicleRoofRack 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是转移的 instance 和那个第三实体是那个实体的 patient 和那个另外实体是汽车的 instance 和那个物理在那个另外实体的外和那个第三实体接上那个物理和那个物理是那个另外实体的 part 和那个另外实体是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2775-2783	如果物理是 WaterPump 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是转移的 instance 和那个另外实体是淡水的 instance 和 objectTransferred 那个实体 and 那个另外实体和那个物理是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29789-29798	如果客体在另一个客体的下游，然后有存在转移，第三客体， and 和第四客体这样那个转移是转移的 instance 和液体是那个第三客体的 attribute 和那个第四客体%n是那个转移发生的path 和那个另外客体是那个转移的源头和 beforeOnPath 那个另外客体, 那个客体, 那个第四客体 and 那个转移和那个转移在那个客体结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29811-29820	如果客体在另一个客体的顺风，然后有存在转移，第三客体， and 和第四客体这样那个转移是转移的 instance 和液体是那个第三客体的 attribute 和那个第四客体%n是那个转移发生的path 和那个另外客体是那个转移的源头和 beforeOnPath 那个另外客体, 那个客体, 那个第四客体 and 那个转移和那个转移在那个客体结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29778-29787	如果客体在另一个客体的上游，然后有存在转移，第三客体， and 和第四客体这样那个转移是转移的 instance 和液体是那个第三客体的 attribute 和那个第四客体%n是那个转移发生的path 和那个客体是那个转移的源头和 beforeOnPath 那个客体, 那个另外客体, 那个第四客体 and 那个转移和那个转移在那个另外客体结束

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: