TreeView 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 11294-11295
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 11292-11292	转移是易位的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11366-11366	携带是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5520-5520	换衣服是转移的 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 2382-2382	ElectricTransmission 是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11468-11468	驱动是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10247-10247	消化是转移的 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 6647-6647	邮件是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6651-6651	讯息是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18055-18055	搬家是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17534-17534	浇注是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11399-11399	放是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11518-11518	释放是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11378-11378	移除是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17603-17603	喷是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11448-11448	代替是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6588-6588	Swallowing 是转移的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11480-11480	接触是转移的 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 29772-29772	beforeOnPath 的 4 数量是转移的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11332-11332	objectTransferred 的 1 数量是转移的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29779-29788	如果客体對於另一个客体 between 在路徑第三客体和转移是转移的 instance 和第四客体%n是那个转移发生的path 和那个客体是那个转移的源头和那个转移在那个另外客体结束，然后 beforeOnPath 那个客体, 那个第三客体, 那个第四客体 and 那个转移和 beforeOnPath 那个第三客体, 那个另外客体, 那个第四客体 and 那个转移
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11108-11118	如果客体是动脉的 instance 和过程是转移的 instance 和实体是那个过程的 patient 和那个客体是导致那个过程的 instrument 和那个实体是血液的 instance，然后有存在另一个客体这样那个另外客体是心的 instance 和那个另外客体是那个过程的源头
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11141-11151	如果客体是肺动脉的 instance 和过程是转移的 instance 和实体是那个过程的 patient 和那个客体是导致那个过程的 instrument 和那个实体是血液的 instance，然后有存在另一个实体这样那个另外实体是肺的 instance 和那个过程在那个另外实体结束
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1717-1733	如果躯体性物体是 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 3893-3903	如果客体是 Electromagnet 的 instance 和转移是转移的 instance 和另一个客体是电力的 instance 和 objectTransferred 那个转移 and 那个另外客体和那个客体%n是那个转移发生的path，然后有存在过程这样那个过程是磁的 instance 和那个客体是导致那个过程的 instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3905-3921	如果实体是 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 4046-4061	如果客体是 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 11352-11357	如果转移是转移的 instance 和 objectTransferred 那个转移 and 客体和那个客体2 在那个客体的内，然后 objectTransferred 那个转移 and 那个客体2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11359-11364	如果转移是转移的 instance 和 objectTransferred 那个转移 and 客体和那个客体2 在那个客体的上，然后 objectTransferred 那个转移 and 那个客体2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11297-11303	如果过程是转移的 instance 和施事体是那个过程的 agent 和实体是那个过程的 patient，然后那个施事体不 equal 那个实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11157-11172	如果客体是肺静脉的 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 11125-11135	如果客体是静脉的 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 9964-9976	如果过程是 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 2629-2645	如果物理是 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 2665-2673	如果物理是 ExhaustValve 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个另外实体是转移的 instance 和 objectTransferred 那个另外实体 and 那个实体和那个物理%n是那个另外实体发生的path 和那个实体是 Exhaust 的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2540-2555	如果物理是 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 11341-11348	如果客体是心的 instance，然后有存在过程和实体这样那个过程是转移的 instance 和那个实体是血液的 instance 和那个客体是导致那个过程的 instrument 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2690-2703	如果物理是 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 3303-3313	如果物理是 MassAirflowSensor 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是转移的 instance 和那个第三实体是空气的 instance 和那个第三实体是那个实体的 patient 和那个另外实体是测量的 instance 和那个第三实体是那个另外实体的 patient 和那个物理是导致那个另外实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3262-3277	如果物理是 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 3818-3834	如果物理是 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 9507-9519	如果物理是植物根的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是转移的 instance 和那个物理是导致那个实体的 instrument 和那个第三实体是那个实体的源头和那个第三实体在那个物理的外和 objectTransferred 那个实体 and 那个另外实体和那个另外实体是淡水的 instance 或那个另外实体是营养的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9546-9557	如果物理是 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 11082-11089	如果客体是血管的 instance，然后有存在实体和过程这样那个实体是血液的 instance 和那个过程是转移的 instance 和那个实体是那个过程的 patient 和那个客体是导致那个过程的 instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4669-4680	如果物理是 VehicleRoofRack 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是转移的 instance 和那个第三实体是那个实体的 patient 和那个另外实体是汽车的 instance 和那个物理在那个另外实体的外和那个第三实体接上那个物理和那个物理是那个另外实体的 part 和那个另外实体是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2769-2777	如果物理是 WaterPump 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是转移的 instance 和那个另外实体是淡水的 instance 和 objectTransferred 那个实体 and 那个另外实体和那个物理是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29801-29810	如果客体在另一个客体的下游，然后有存在转移，第三客体， and 和第四客体这样那个转移是转移的 instance 和液体是那个第三客体的 attribute 和那个第四客体%n是那个转移发生的path 和那个另外客体是那个转移的源头和 beforeOnPath 那个另外客体, 那个客体, 那个第四客体 and 那个转移和那个转移在那个客体结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29823-29832	如果客体在另一个客体的顺风，然后有存在转移，第三客体， and 和第四客体这样那个转移是转移的 instance 和液体是那个第三客体的 attribute 和那个第四客体%n是那个转移发生的path 和那个另外客体是那个转移的源头和 beforeOnPath 那个另外客体, 那个客体, 那个第四客体 and 那个转移和那个转移在那个客体结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29790-29799	如果客体在另一个客体的上游，然后有存在转移，第三客体， and 和第四客体这样那个转移是转移的 instance 和液体是那个第三客体的 attribute 和那个第四客体%n是那个转移发生的path 和那个客体是那个转移的源头和 beforeOnPath 那个客体, 那个另外客体, 那个第四客体 and 那个转移和那个转移在那个另外客体结束

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: