TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30270-30270
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30269-30269	Healthy 是生物属性的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

domainEnglishFormat.kif 64972-64972

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 359-365	如果 Healthy 是哺乳动物的 attribute 和 restingBreathingRate 那个哺乳动物 and 整数，然后那个整数是 greaterThanOrEqualTo 12 和 16 是 greaterThanOrEqualTo 那个整数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11966-11976	如果 connectedBodyPart 有点身体部位 and 另一个有点身体部位和 Healthy 是客体的 attribute，然后有存在有点身体部位I 和另一个有点身体部位I 这样那个有点身体部位I 是那个有点身体部位的 instance 和那个另外有点身体部位I 是那个另外有点身体部位的 instance 和那个有点身体部位I 是那个客体的 part 和那个另外有点身体部位I 是那个客体的 part 和那个有点身体部位I 和那个另外有点身体部位I 是 connected
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1923-1939	如果 ennervates 有点 Nerve and 有点肌肉和客体是有点 Nerve 的 instance 和另一个客体是有点肌肉的 instance 和那个客体是第三客体的 part 和那个另外客体是那个第三客体的 part 和 Healthy 是那个第三客体的 attribute 和那个第三客体是人类的 instance，然后那个客体的目的是有存在那个客体F 和另一个实体这样那个客体F 是 NerveFiring 的 instance 和那个客体是导致那个客体F 的 instrument 和那个有点肌肉是 MuscleContraction 的 instance 和那个另外客体是导致那个另外客体V 的 instrument 和那个客体F causes 那个有点肌肉
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15001-15012	如果客体是动物的 instance 和另一个客体是 BodySideFn AntiSymmetricPositionalAttribute and 有点身体部位的 instance 和那个 AntiSymmetricPositionalAttribute 是那个 AntiSymmetricPositionalAttributeO 的相反和 Healthy 是那个客体的 attribute，然后有存在那个另外客体O 这样那个另外客体O 是 BodySideFn 那个 AntiSymmetricPositionalAttributeO and 有点身体部位的 instance 和那个另外客体在那个另外客体O 的那个 AntiSymmetricPositionalAttribute
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1636-1643	如果客体是 Eardrum 的 instance 和那个客体是施事体的 part 和那个施事体经历了那个施事体EAR 和 Healthy 是那个施事体的 attribute 和那个施事体EAR 是听的 instance，然后那个客体是导致那个施事体EAR 的 instrument
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1458-1467	如果群体是 Eyebrow 的 instance 和 Healthy 是客体的 attribute 和那个群体是那个客体的 part 和物理是那个群体的 member，然后有存在那个客体AIR 这样那个客体AIR 是头发的 instance 和那个客体AIR 是那个群体的 part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1450-1456	如果群体是 Eyebrow 的 instance 和 Healthy 是客体的 attribute 和那个群体是那个客体的 part 和物理是那个群体的 member，然后 2 是那个群体的 member 计数
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1439-1448	如果客体是 Eyebrow 的 instance 和 Healthy 是另一个客体的 attribute 和那个客体是那个另外客体的 part，然后有存在那个客体YE 这样那个客体YE 是眼睛的 instance 和那个客体YE 是那个另外客体的 part 和那个客体YE 在那个客体的近
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1469-1481	如果客体是 Eyebrow 的 instance 和 Healthy 是另一个客体的 attribute 和站立是那个另外客体的 attribute 在时间位置 holdsDuring 和那个客体是那个另外客体的 part，然后有存在那个客体YE 这样那个客体YE 是眼睛的 instance 和那个客体YE 是那个另外客体的 part 和那个客体在那个客体YE 的以上
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1576-1583	如果客体是 AuditoryCanal 的 instance 和那个客体是另一个客体的 part 和 Healthy 是那个另外客体的 attribute 和那个客体的 diameter 是实数毫米，然后 approximateValue 那个实数 and 0.7
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1567-1574	如果客体是 AuditoryCanal 的 instance 和那个客体是另一个客体的 part 和 Healthy 是那个另外客体的 attribute 和那个客体的 length 是实数厘米，然后 approximateValue 那个实数 and 2.5
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1526-1533	如果客体是 EustachianTube 的 instance 和那个客体是另一个客体的 part 和 Healthy 是那个另外客体的 attribute 和那个客体的 diameter 是实数毫米，然后 approximateValue 那个实数 and 3.0
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1517-1524	如果客体是 EustachianTube 的 instance 和那个客体是另一个客体的 part 和 Healthy 是那个另外客体的 attribute 和那个客体的 length 是实数厘米，然后 approximateValue 那个实数 and 35.0
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1488-1500	如果客体是 Forehead 的 instance 和 Healthy 是另一个客体的 attribute 和站立是那个另外客体的 attribute 在时间位置 holdsDuring 和第三客体是那个另外客体的 part，然后有存在那个第三客体YE 这样那个第三客体YE 是眼睛的 instance 和那个第三客体YE 是那个另外客体的 part 和那个客体在那个第三客体YE 的以上
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2336-2351	如果过程是 GravesDisease 的 instance 和施事体经历了那个过程和那个施事体是人类的 instance 和客体是甲状腺激素的 instance 和那个客体是那个施事体的 part 和那个客体的 measure 是实数测量单位和另一个客体是人类的 instance 和第三客体是甲状腺激素的 instance 和那个第三客体是那个另外客体的 part 和那个第三客体的 measure 是另一个实数那个测量单位和 Healthy 是那个另外客体的 attribute，然后那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2382-2397	如果过程是 HashimotosThyroiditis 的 instance 和施事体经历了那个过程和那个施事体是人类的 instance 和客体是甲状腺激素的 instance 和那个客体是那个施事体的 part 和那个客体的 measure 是实数测量单位和另一个客体是人类的 instance 和第三客体是甲状腺激素的 instance 和那个第三客体是那个另外客体的 part 和那个第三客体的 measure 是另一个实数那个测量单位和 Healthy 是那个另外客体的 attribute，然后那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2695-2704	如果过程是 PerniciousAnemia 的 instance 和施事体经历了那个过程和 amount VitaminB12, 那个施事体 and 实数测量单位和 amount VitaminB12, 躯体性物体 and 另一个实数那个测量单位和 Healthy 是那个躯体性物体的 attribute 和那个施事体不 equal 那个躯体性物体，然后那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11486-11496	如果客体是脊椎动物的 instance 和另一个客体是头的 instance 和那个另外客体是那个客体的 part 和 Healthy 是那个客体的 attribute，然后有存在群体和第三客体这样那个群体是头骨的 instance 和那个第三客体是那个群体的 member 和那个第三客体是那个另外客体的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11498-11507	如果客体是脊椎动物的 instance 和另一个客体是头的 instance 和那个另外客体是那个客体的 part 和群体是头骨的 instance 和 Healthy 是那个客体的 attribute 和第三客体是那个群体的 member 和那个第三客体是那个客体的 part，然后那个第三客体是那个另外客体的 part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1745-1756	如果 muscleInsertion 有点肌肉 and 有点身体部位和客体是人类的 instance 和 Healthy 是那个客体的 attribute，然后有存在另一个客体和第三客体这样那个另外客体是有点肌肉的 instance 和那个第三客体是有点身体部位的 instance 和那个另外客体是那个客体的 part 和那个第三客体是那个客体的 part 和那个另外客体 connects 那个第三客体和
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1758-1780	如果 muscleInsertion 有点肌肉 and 有点身体部位和客体是人类的 instance 和 StandardAnatomicalPosition 是那个客体的 attribute 在时距 holdsDuring 和 Healthy 是那个客体的 attribute 和另一个时距是 MuscularContraction 的 instance 和那个另外时距出现的 time 在那个时距时段内发生和另一个客体是有点肌肉的 instance 和那个另外客体是那个客体的 part 和那个另外客体是导致那个另外时距的 instrument 和 physicalEnd 第三客体 and 那个另外客体和那个第三客体接上第四客体和那个第三客体是 located 在实体在那个另外时距的开始 holdsDuring，然后那个第三客体不是 located 在那个实体在那个另外时距的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1695-1706	如果 muscleOrigin 有点肌肉 and 有点身体部位和客体是人类的 instance 和 Healthy 是那个客体的 attribute，然后有存在另一个客体和第三客体这样那个另外客体是有点肌肉的 instance 和那个第三客体是有点身体部位的 instance 和那个另外客体是那个客体的 part 和那个第三客体是那个客体的 part 和那个另外客体 connects 那个第三客体和
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1708-1729	如果 muscleOrigin 有点肌肉 and 有点身体部位和客体是人类的 instance 和 StandardAnatomicalPosition 是那个客体的 attribute 在时距 holdsDuring 和 Healthy 是那个客体的 attribute 和另一个时距是 MuscularContraction 的 instance 和那个另外时距出现的 time 在那个时距时段内发生和另一个客体是有点肌肉的 instance 和那个另外客体是那个客体的 part 和那个另外客体是导致那个另外时距的 instrument 和 physicalEnd 第三客体 and 那个另外客体和那个第三客体接上第四客体和那个第三客体是 located 在实体在那个另外时距的开始 holdsDuring，然后那个第三客体是 located 在那个实体在那个另外时距的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30272-30278	如果 Healthy 是客体的 attribute，然后不存在属性这样那个属性是疾病或综合症的 instance 和那个属性是那个客体的 attribute

consequent

No TPTP formula. May not be expressible in strict first order.

Medicine.kif 367-385

如果 breathingRate 施事体, 时距 and 整数和那个时距是分钟的 instance 和不存在那个整数这样那个整数是娱乐或锻炼的 instance 和那个施事体是那个整数的 agent 和那个时距在那个整数出现的 time 时段内发生和人类成人是那个施事体的 attribute 在那个时距 holdsDuring 和那个整数是 greaterThan 16 或那个整数是 lessThan 12，
然后 Healthy 不是那个施事体的 attribute 在那个时距 holdsDuring

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: