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 14996-14999
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14995-14995	身体部位是解剖结构的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14960-14960	解剖结构详尽无遗地 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 15019-15019	BodySideFn 的所得值是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11553-11553	动物壳是身体部位的 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 15144-15144	体腔是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15118-15118	身体外层是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15132-15132	身体连接处是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10599-10599	BodySegment 是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15247-15247	骨骼是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15152-15152	细胞是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10906-10906	细胞部分是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12946-12946	下巴是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12161-12161	Cornea 是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12509-12509	数字附属物是身体部位的 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 11697-11697	外骨骼是身体部位的 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 12910-12910	面对是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20364-20364	羽毛是身体部位的 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 11897-11897	FrontalLobe 是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12893-12893	头是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11485-11485	蹄是身体部位的 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 12436-12436	InflammationFn 的 1 数量是身体部位的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6344-6344	PainFn 的 1 数量是身体部位的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6317-6317	ParalysisFn 的 1 数量是身体部位的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10730-10730	bodyAngle 的 1 数量是身体部位的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10731-10731	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 15018-15018	BodySideFn 的 2 数量是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29776-29776	CoveringFn 的 1 数量是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18318-18318	DeadOrMissingBodyPartFn 的 1 数量是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10006-10006	EdemaFn 的 1 数量是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18297-18297	ImpairedBodyPartFn 的 1 数量是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11989-11989	connectedBodyPart 的 1 数量是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11990-11990	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 30202-30212	实体是身体部位的 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 15001-15007	如果实体是身体部位的 instance，然后有存在物理和时间位置这样那个物理是生物的 instance 和那个时间位置时段是那个物理出现的 time 时段的一 part 和那个实体是那个物理的 component 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15009-15014	如果实体是身体部位的 instance，然后有存在过程这样那个过程是生理过程的 instance 和那个实体是那个过程的 result

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10013-10021	如果过程是 EdemaFn 有点身体部位的 instance 和施事体经历了那个过程，然后有存在有点身体部位I 这样那个有点身体部位I 是身体部位的 instance 和那个有点身体部位I 是那个施事体的 part 和那个过程是 located 在那个有点身体部位I
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9991-10003	如果过程是 Edema 的 instance 和施事体经历了那个过程，然后有存在运动，客体， and 和另一个客体这样那个运动是转移的 instance 和那个另外客体是液体的 instance 和那个客体是身体部位的 instance 和那个客体是那个施事体的 part 和那个运动在那个客体结束和移动那个运动 and 那个另外客体和那个运动%n是那个过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11144-11150	如果运动是身体运动的 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 6440-6445	如果过程是痿的 instance，然后有存在施事体这样那个施事体经历了那个过程和那个施事体是身体部位的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15123-15130	如果客体是身体外层的 instance，然后有存在另一个客体这样那个客体是那个另外客体的 superficialPart 和那个另外客体是生物的 instance 或那个另外客体是身体部位的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15136-15142	如果客体是身体连接处的 instance，然后有存在另一个客体和第三客体这样那个另外客体是身体部位的 instance 和那个第三客体是身体部位的 instance 和那个客体 connects 那个另外客体和那个第三客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2111-2120	如果过程是 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 9451-9458	如果客体是 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: