TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3058-3061
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11551-11556
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1826-1829
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11549-11549	易位是运动的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1604-1604	过境的所得值是易位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17138-17138	加速是易位的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11140-11140	走动是易位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17308-17308	到达是易位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17376-17376	登机是易位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4382-4382	Crawling 是易位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17417-17417	Deboarding 是易位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17166-17166	减速是易位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17319-17319	Disappearing 是易位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17276-17276	逃逸是易位的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11580-11580	落下是易位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17225-17225	飞行是易位的 subclass
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 121-121	朝觐是易位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17347-17347	移民是易位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17249-17249	降落是易位的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 808-808	登陆水域是易位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17297-17297	离开是易位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13953-13953	军事渗透是易位的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1724-1724	MovingCursor 是易位的 subclass
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1417-1417	MovingTowardsPeople 是易位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17262-17262	返回是易位的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3017-3017	船靠泊是易位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17236-17236	起飞是易位的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11292-11292	转移是易位的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11594-11594	运输是易位的 subclass

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.

Merge.kif 10992-10992

改变位置的 1 数量是易位的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11558-11567	如果过程是易位的 instance 和客体是那个过程的源头，然后有存在另一个客体和另一个过程这样那个另外客体是地区的 instance 和那个客体不 equal 那个另外客体和那个另外过程%n是那个过程的subProcess 和那个另外过程是 located 在那个另外客体
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1651-1672	如果过程是龙卷风的 instance 和另一个过程是旋转的 instance 和客体是空气的 instance 和那个过程RAN 是易位的 instance 和那个另外过程%n是那个过程的subProcess 和那个过程RAN%n是那个另外过程的subProcess 和那个客体是那个过程RAN 的 patient 和那个过程RAN 过程的实体向横，然后有存在另一个客体，自身连接物体,，，那个过程OP,，，第三自身连接物体,，，第四自身连接物体， and 和第五自身连接物体这样那个另外客体是地理区域的 instance 和那个过程是 located 在那个另外客体和那个自身连接物体是那个客体的 part 和 ConeSegment 是那个自身连接物体的 attribute 和那个过程OP 是那个自身连接物体的 top 和那个自身连接物体的 bottom 是那个第三自身连接物体和那个第四自身连接物体是云的 instance 和那个第四自身连接物体的 bottom 是那个第五自身连接物体和那个过程OP 接上那个第五自身连接物体和那个第三自身连接物体接上那个另外客体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11305-11328	如果过程是易位的 instance 和另一个过程是易位的 instance 和客体是那个过程的源头和另一个客体是那个另外过程的源头和那个过程在那个另外客体结束和那个另外过程在实体结束和施事体经历了那个过程和那个施事体经历了那个另外过程，然后有存在第三过程这样那个第三过程是易位的 instance 和那个客体是那个第三过程的源头和那个第三过程在那个实体结束和那个过程%n是那个第三过程的subProcess 和那个另外过程%n是那个第三过程的subProcess 和那个施事体经历了那个第三过程和那个过程出现的 time starts了才到那个第三过程出现的 time 和那个另外过程出现的 time finishes了才到那个第三过程出现的 time
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15992-15998	如果客体是车辆的 instance 和过程是易位的 instance 和那个客体是导致那个过程的 instrument 和那个过程在实体结束，然后那个客体是 located 在那个实体在那个过程出现的 time 的开始 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15984-15990	如果客体是车辆的 instance 和过程是易位的 instance 和那个客体是导致那个过程的 instrument 和另一个客体是那个过程的源头，然后那个客体是 located 在那个另外客体在那个过程出现的 time 的开始 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11569-11578	如果运动是易位的 instance，然后有存在客体，实体， and 和另一个客体这样那个客体是客体的 instance 和那个实体是客体的 instance 和那个另外客体是客体的 instance 和那个另外客体%n是那个运动发生的path 和那个客体是那个运动的源头和那个运动在那个实体结束

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 151-167	如果被驱逐是实体的 attribute 和那个实体是另一个实体-NATION 的 citizen 在时间位置 holdsDuring 和那个时间位置是时距的 instance，然后有存在过程和客体这样那个客体是国家的 instance 和那个客体不 equal 那个另外实体-NATION 和那个过程是易位的 instance 和那个客体是那个过程的源头和那个实体是那个过程的 patient 和那个过程在那个另外实体-NATION 结束和那个时间位置时段是那个过程出现的 time 时段的一 part
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2003-2012	如果物理是壅的 instance 和那个物理是 partlyLocated 在客体，然后那个物理的目的是不存在实体这样那个实体是易位的 instance 和那个客体%n是那个实体发生的path
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21776-21795	如果过程是封锁的 instance 和比赛是比赛的 instance 和那个过程%n是那个比赛的subProcess 和施事体 participates 在那个比赛和那个施事体是那个过程的 agent，然后有存在那个比赛1 和有认知的主事这样那个比赛1 prevents 易位的发生和那个过程是那个比赛1 的 instance 和那个有认知的主事 participates 在那个比赛和那个施事体不 equal 那个有认知的主事和那个有认知的主事 desires 有存在另一个实体这样那个另外实体是那个比赛1 的 instance 和那个施事体是那个另外实体的 agent 和那个另外实体%n是那个比赛的subProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1275-1296	如果过程是尘暴的 instance 和另一个过程是风的 instance 和那个过程%n是那个另外过程的subProcess，然后有存在转移，客体,，，另一个客体,，，第三客体,，，第四客体， and 和实数这样那个第三客体是土地面积的 instance 和那个另外过程是 located 在那个第三客体和那个实数结速度单位是那个第三客体的 surface 风速和那个实数是 greaterThan 30.0 和那个转移是易位的 instance 和那个转移%n是那个过程的subProcess 和 objectTransferred 那个转移 and 那个客体和 objectTransferred 那个转移 and 那个另外客体和那个客体是悬浮颗粒的 instance 和那个另外客体是砂的 instance 和那个第四客体是土地面积的 instance 和那个转移在那个第四客体结束和那个第三客体和那个第四客体不重叠
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2957-2973	如果工程组件是 EngineGovernor 的 instance 和另一个工程组件是车辆的 instance 和那个工程组件是和那个另外工程组件 connected 和 governorSpeed SpeedGovernor and 实数英里每小時，然后那个工程组件的目的是不存在实体和另一个实体这样那个实体是易位的 instance 和那个另外工程组件的 measure 是那个另外实体英里每小時和那个另外实体是 greaterThan 那个实数在那个实体出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2627-2643	如果过程是疏散的 instance 和机构是那个过程的 agent 和客体是那个过程的源头，然后有存在另一个过程和那个另外过程A 这样那个另外过程是易位的 instance 和那个另外过程%n是那个过程的subProcess 和那个客体是那个另外过程的源头和那个另外过程A 经历了那个另外过程或那个另外过程A 是那个另外过程的 agent 和那个另外过程A 是那个机构 Organization 的一部分或那个另外过程A 是那个机构的 member 或那个另外过程A equal 那个机构
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2501-2511	如果过程是疏散的 instance 和客体是那个过程的源头和那个过程在实体结束，然后有存在另一个过程这样那个另外过程是易位的 instance 和那个另外过程%n是那个过程的subProcess 和那个另外过程在那个实体结束和那个客体是那个另外过程的源头
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5847-5859	如果过程是 Infecting 的 instance 和施事体经历了那个过程，然后有存在运动，另一个过程， and 和另一个施事体这样那个运动是易位的 instance 和移动那个运动 and 那个另外施事体和那个另外施事体是生物的 instance 和那个另外过程是复制的 instance 和那个另外施事体经历了那个另外过程和那个运动%n是那个过程的subProcess 和那个另外过程%n是那个过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Dining.kif 610-627	如果过程是 FoodPickup 的 instance 和施事体是那个过程的 agent 和那个过程在另一个施事体结束和实体是那个过程的 patient，然后那个实体是 food for 人类的 instance 和有存在客体，另一个过程， and 和第三过程这样那个施事体是 located 在那个客体和那个另外过程是易位的 instance 和那个另外施事体是那个另外过程的 agent 和那个另外过程在那个客体结束和那个第三过程是获得的 instance 和那个施事体是那个第三过程的源头和那个第三过程在那个另外施事体结束和那个实体是那个第三过程的 patient
No TPTP formula. May not be expressible in strict first order.	Cars.kif 567-580	如果客体是 ParkingBrake 的 instance 和另一个客体是车辆的 instance 和设备上是那个客体的 attribute 在时间位置 holdsDuring 和那个客体是那个另外客体的 part，然后那个客体的目的是不存在实体这样那个实体是易位的 instance 和那个另外客体是那个实体的 patient 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16561-16575	如果客体是护照的 instance 和施事体 possesses 那个客体，然后那个客体 confers 规范有存在实体，另一个实体， and 和第三实体这样那个实体是易位的 instance 和那个施事体是那个实体的 agent 和那个另外实体是那个实体的源头和那个实体在那个第三实体结束和那个另外实体是国家的 instance 和那个第三实体是国家的 instance 和那个另外实体不 equal 那个第三实体对于允许
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1523-1533	如果过程是 StayingStill 的 instance 和施事体经历了那个过程，然后不存在另一个过程和第三过程这样那个另外过程是身体运动的 instance 和那个第三过程是易位的 instance 和那个另外过程 causes 那个第三过程和那个施事体是那个另外过程的 agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11305-11328	如果过程是易位的 instance 和另一个过程是易位的 instance 和客体是那个过程的源头和另一个客体是那个另外过程的源头和那个过程在那个另外客体结束和那个另外过程在实体结束和施事体经历了那个过程和那个施事体经历了那个另外过程，然后有存在第三过程这样那个第三过程是易位的 instance 和那个客体是那个第三过程的源头和那个第三过程在那个实体结束和那个过程%n是那个第三过程的subProcess 和那个另外过程%n是那个第三过程的subProcess 和那个施事体经历了那个第三过程和那个过程出现的 time starts了才到那个第三过程出现的 time 和那个另外过程出现的 time finishes了才到那个第三过程出现的 time
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2617-2622	如果有点自身连接物体是对于交通类别地区的 trafficable 和有点自身连接物体是施事体的 subclass 和客体是那个有点自身连接物体的 instance，然后易位 capable 在地点主事对于那个客体跟那个地区在一起
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11003-11011	如果 %2 是 %3 的 changes 地点，然后易位是易位的 instance 和施事体是客体的 instance 和那个施事体是那个易位的 patient 或那个施事体是那个易位的 agent 或那个施事体经历了那个易位
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17311-17317	如果过程是到达的 instance，然后有存在另一个过程这样那个另外过程是易位的 instance 和那个过程%n是那个另外过程的subProcess 和那个过程出现的 time finishes了才到那个另外过程出现的 time
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1107-1116	如果过程是 Bowling 的 instance，然后有存在那个过程ALL，运动， and 和客体这样那个运动是易位的 instance 和那个过程ALL 是 BowlingBall 的 instance 和那个过程ALL 是那个运动的 patient 和那个客体是 BowlingLane 的 instance 和那个客体%n是那个运动发生的path 和那个运动%n是那个过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1146-1154	如果物理是 BowlingLane 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是易位的 instance 和那个另外实体是 BowlingBall 的 instance 和那个另外实体是那个实体的 patient 和那个物理%n是那个实体发生的path
No TPTP formula. May not be expressible in strict first order.	Weather.kif 560-570	如果实体是气旋风暴的 instance，然后有存在过程，另一个实体,，，另一个过程， and 和第三过程这样那个过程是旋转的 instance 和那个另外实体是空气的 instance 和那个另外过程是易位的 instance 和那个过程%n是那个第三过程的subProcess 和那个另外过程%n是那个过程的subProcess 和那个另外实体是那个另外过程的 patient 和那个另外过程过程的实体向横
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3706-3708	如果客体是家具的 instance，然后那个客体能够担当移动的角色做易位
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2843-2872	如果物理是 Gasket 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是躯体性物体的 instance 和那个另外实体是躯体性物体的 instance 和那个实体接上那个物理和那个另外实体接上那个物理和不存在第三实体，第四实体,，，第五实体， and 和第六实体这样那个第三实体是洞的 instance 和那个物理 equal 洞那个第三实体的主体和那个第五实体是易位的 instance 和那个第三实体%n是那个第五实体发生的path 和那个第六实体是那个第五实体的源头和那个第五实体在那个第四实体结束和那个实体 contains 那个第六实体和那个实体 doesn't contains 那个第四实体和那个实体接上那个第四实体和不存在那个第六实体3 这样那个第三实体 contains 那个第六实体3 和那个实体 doesn't contains 那个第六实体3 和那个另外实体 doesn't contains 那个第六实体3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15622-15637	如果物理是门厅的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是易位的 instance 和那个物理%n是那个实体发生的path 和那个物理是 located 在那个另外实体和那个另外实体是建筑物的 instance 和那个物理是在那个第三实体和那个第四实体 between 和那个第三实体是房间的 instance 和那个第四实体是房间的 instance 和那个第三实体是 located 在那个另外实体和那个第四实体是 located 在那个另外实体和那个第三实体不 equal 那个第四实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12397-12406	如果物理是 Inflammation 的 instance，然后有存在转移和客体这样那个转移是易位的 instance 和那个客体是白细胞的 instance 和 objectTransferred 那个转移 and 那个客体和那个转移在那个物理在那个物理出现的 time 时所处的地区结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17300-17306	如果过程是离开的 instance，然后有存在另一个过程这样那个另外过程是易位的 instance 和那个过程%n是那个另外过程的subProcess 和那个过程出现的 time starts了才到那个另外过程出现的 time
No TPTP formula. May not be expressible in strict first order.	Merge.kif 858-860	如果客体是客体的 instance，然后那个客体能够担当终点的角色做易位

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: