TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3493-3494
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14950-14953
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14949-14949	身体部位是解剖结构的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14914-14914	解剖结构详尽无遗地 partition 成身体部位和异常的解剖结构
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6235-6235	BodyAreaFn 的所得值是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14973-14973	BodySideFn 的所得值是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11526-11526	动物壳是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1611-1611	Auricle 是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15098-15098	体腔是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15072-15072	身体外层是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15086-15086	身体连接处是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10572-10572	BodySegment 是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15201-15201	骨骼是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15106-15106	细胞是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10879-10879	细胞部分是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12919-12919	下巴是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12134-12134	Cornea 是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12482-12482	数字附属物是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1623-1623	Eardrum 是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2546-2546	EggYolk 是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11670-11670	外骨骼是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1434-1434	Eyebrow 是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12883-12883	面对是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20337-20337	羽毛是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1483-1483	Forehead 是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11870-11870	FrontalLobe 是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12866-12866	头是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11458-11458	蹄是身体部位的 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.	Mid-level-ontology.kif 12409-12409	InflammationFn 的 1 数量是身体部位的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6350-6350	PainFn 的 1 数量是身体部位的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6323-6323	ParalysisFn 的 1 数量是身体部位的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10703-10703	bodyAngle 的 1 数量是身体部位的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10704-10704	bodyAngle 的 2 数量是身体部位的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6449-6449	sheddingBodyPart 的 2 数量是身体部位的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6234-6234	BodyAreaFn 的 1 数量是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14972-14972	BodySideFn 的 2 数量是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29725-29725	CoveringFn 的 1 数量是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18239-18239	DeadOrMissingBodyPartFn 的 1 数量是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9979-9979	EdemaFn 的 1 数量是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18218-18218	ImpairedBodyPartFn 的 1 数量是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11962-11962	connectedBodyPart 的 1 数量是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11963-11963	connectedBodyPart 的 2 数量是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 27-27	connectedBodyPartTypes 的 1 数量是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 28-28	connectedBodyPartTypes 的 2 数量是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1737-1737	muscleInsertion 的 2 数量是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1687-1687	muscleOrigin 的 2 数量是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1945-1945	suppliesBlood 的 2 数量是身体部位的 subclass

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30178-30188	实体是身体部位的 instance 和 Bare 是那个实体的 attribute 在时间位置 holdsDuring 若且唯若不存在另一个实体这样那个另外实体是服装的 instance 和 covers 那个另外实体 and 那个实体在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1008-1019	如果过程是 LocalAnesthetizing 的 instance 和那个过程是 located 在客体和那个客体是身体部位的 instance 和那个客体是另一个客体的 part 和那个另外客体是那个过程的 patient，然后 PainFn 那个客体不是那个另外客体的 attribute 在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3628-3644	如果转移是注射的 instance 和客体是 Adalimumab 的 instance 和 objectTransferred 那个转移 and 那个客体和那个转移是 located 在另一个客体和那个另外客体是身体部位的 instance 和那个转移在实体结束，然后有存在另一个实体这样 PainFn 那个另外客体是那个实体的 attribute 在那个另外实体 holdsDuring 和那个另外实体在那个转移出现的 time 之后时段内发生的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14955-14961	如果实体是身体部位的 instance，然后有存在物理和时间位置这样那个物理是生物的 instance 和那个时间位置时段是那个物理出现的 time 时段的一 part 和那个实体是那个物理的 component 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14963-14968	如果实体是身体部位的 instance，然后有存在过程这样那个过程是生理过程的 instance 和那个实体是那个过程的 result

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9986-9994	如果过程是 EdemaFn 有点身体部位的 instance 和施事体经历了那个过程，然后有存在有点身体部位I 这样那个有点身体部位I 是身体部位的 instance 和那个有点身体部位I 是那个施事体的 part 和那个过程是 located 在那个有点身体部位I
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.	Merge.kif 11110-11116	如果运动是身体运动的 instance 和移动那个运动 and 客体，然后那个客体是身体部位的 instance 和那个客体是那个运动的 patient
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1505-1515	如果过程是 PerspiringWholeBody 的 instance 和施事体经历了那个过程，然后不存在客体这样那个客体是身体部位的 instance 和那个客体是那个施事体的 part 和那个过程 doesn't %n 在那个客体结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6446-6451	如果过程是痿的 instance，然后有存在施事体这样那个施事体经历了那个过程和那个施事体是身体部位的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15077-15084	如果客体是身体外层的 instance，然后有存在另一个客体这样那个客体是那个另外客体的 superficialPart 和那个另外客体是生物的 instance 或那个另外客体是身体部位的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15090-15096	如果客体是身体连接处的 instance，然后有存在另一个客体和第三客体这样那个另外客体是身体部位的 instance 和那个第三客体是身体部位的 instance 和那个客体 connects 那个另外客体和那个第三客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2118-2127	如果过程是 Excreting 的 instance，然后有存在施事体，实体， and 和客体这样那个施事体是生物的 instance 和那个施事体是那个过程的 agent 和那个实体是那个过程的 patient 和那个实体是 Excrement 的 instance 和那个客体是身体部位的 instance 和那个客体是导致那个过程的 instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9424-9431	如果客体是 Ulcer 的 instance，然后有存在洞和另一个客体这样那个洞是洞的 instance 和那个另外客体是身体部位的 instance 和那个另外客体 equal 洞那个洞的主体和那个另外客体是那个客体的 part

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: