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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14936-14936	解剖结构详尽无遗地 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 14995-14995	BodySideFn 的所得值是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11525-11525	动物壳是身体部位的 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 15120-15120	体腔是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15094-15094	身体外层是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15108-15108	身体连接处是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10571-10571	BodySegment 是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15223-15223	骨骼是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15128-15128	细胞是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10878-10878	细胞部分是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12918-12918	下巴是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12133-12133	Cornea 是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12481-12481	数字附属物是身体部位的 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 11669-11669	外骨骼是身体部位的 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 12882-12882	面对是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20336-20336	羽毛是身体部位的 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 11869-11869	FrontalLobe 是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12865-12865	头是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11457-11457	蹄是身体部位的 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 12408-12408	InflammationFn 的 1 数量是身体部位的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6349-6349	PainFn 的 1 数量是身体部位的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6322-6322	ParalysisFn 的 1 数量是身体部位的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10702-10702	bodyAngle 的 1 数量是身体部位的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10703-10703	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 14994-14994	BodySideFn 的 2 数量是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29713-29713	CoveringFn 的 1 数量是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18261-18261	DeadOrMissingBodyPartFn 的 1 数量是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9978-9978	EdemaFn 的 1 数量是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18240-18240	ImpairedBodyPartFn 的 1 数量是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11961-11961	connectedBodyPart 的 1 数量是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11962-11962	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 30166-30176	实体是身体部位的 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 14977-14983	如果实体是身体部位的 instance，然后有存在物理和时间位置这样那个物理是生物的 instance 和那个时间位置时段是那个物理出现的 time 时段的一 part 和那个实体是那个物理的 component 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14985-14990	如果实体是身体部位的 instance，然后有存在过程这样那个过程是生理过程的 instance 和那个实体是那个过程的 result

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9985-9993	如果过程是 EdemaFn 有点身体部位的 instance 和施事体经历了那个过程，然后有存在有点身体部位I 这样那个有点身体部位I 是身体部位的 instance 和那个有点身体部位I 是那个施事体的 part 和那个过程是 located 在那个有点身体部位I
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.	Merge.kif 11132-11138	如果运动是身体运动的 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 6445-6450	如果过程是痿的 instance，然后有存在施事体这样那个施事体经历了那个过程和那个施事体是身体部位的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15099-15106	如果客体是身体外层的 instance，然后有存在另一个客体这样那个客体是那个另外客体的 superficialPart 和那个另外客体是生物的 instance 或那个另外客体是身体部位的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15112-15118	如果客体是身体连接处的 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 9423-9430	如果客体是 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: