TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11336-11336
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 496-496
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 112-112
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11338-11338
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11337-11337	心是 InvoluntaryMuscle 的材料
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11335-11335	心是动物解剖结构的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11334-11334	心是 VitalOrgan 的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27774-27774
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27773-27773
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27772-27772

appearance as argument number 3

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

Mid-level-ontology.kif 10334-10334

heartRate 的 1 数量是心的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6505-6529	如果过程是 CheckingVitals 的 instance 和有认知的主事是那个过程的 agent 和客体是那个过程的 patient 和心是心的 instance 和那个心是那个客体的 part 和肺是肺的 instance 和那个肺是那个客体的 part 和 systolicBloodPressure 那个客体 and 实体和 diastolicBloodPressure 那个客体 and 另一个实体和那个客体的 measure 是第三实体华氏度在那个过程出现的 time holdsDuring 和 heartRate 那个心, 那个过程出现的 time and 整数和 breathingRate 那个肺, 那个过程出现的 time and 另一个整数，然后那个有认知的主事 knows systolicBloodPressure 那个客体 and 那个实体和 diastolicBloodPressure 那个客体 and 那个另外实体和那个客体的 measure 是那个第三实体华氏度在那个过程出现的 time holdsDuring 和 heartRate 那个心, 那个过程出现的 time and 那个整数和 breathingRate 那个肺, 那个过程出现的 time and 那个另外整数
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1882-1891	如果客体是 Electrocardiogram 的 instance 和 EKGAbnormal 是那个客体的 attribute 和那个客体提到另一个客体和那个另外客体是第三客体的 part 和那个另外客体是心的 instance，然后 ImpairedBodyPartFn 心是那个第三客体的 attribute 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1865-1875	如果客体是 Electrocardiogram 的 instance 和 EKGNormal 是那个客体的 attribute 和那个客体提到另一个客体和那个另外客体是第三客体的 part 和那个另外客体是心的 instance，然后 ImpairedBodyPartFn 心不是那个第三客体的 attribute 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11367-11384	如果物理是 HeartAttack 的 instance 和客体是心的 instance 和那个物理是 located 在那个客体，然后有存在另一个客体这样那个另外客体是肌肉的 instance 和那个另外客体是那个客体的 part 和不存在时距和第三客体这样那个时距是液体运动的 instance 和 objectTransferred 那个时距 and 那个第三客体和那个第三客体是血液的 instance 和那个时距在那个物理出现的 time 时段内发生和那个时距在那个另外客体结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10727-10739	如果过程是 HeartBeat 的 instance 和实体是那个过程的 patient 和那个实体是心的 instance，然后有存在另一个过程和第三过程这样那个另外过程是 MuscularContraction 的 instance 和那个实体是那个另外过程的 patient 和那个第三过程是 MuscleRelaxing 的 instance 和那个实体是那个第三过程的 patient 和那个另外过程%n是那个过程的subProcess 和那个第三过程%n是那个过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2060-2070	如果过程是 HeartPalpitations 的 instance 和施事体经历了那个过程和那个施事体EART 是心的 instance 和那个施事体EART 是那个施事体的 part，然后有存在那个过程ER 这样那个过程ER 是感知的 instance 和那个施事体经历了那个过程ER 和那个施事体EART 是那个过程ER 的 patient
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2847-2855	如果过程是 Bradycardia 的 instance 和施事体经历了那个过程和心是心的 instance 和那个心是那个施事体的 part 和时距是分钟的 instance 和 heartRate 那个心, 那个时距 and 整数，然后 50 是 greaterThan 那个整数
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2819-2827	如果过程是 Tachycardia 的 instance 和施事体经历了那个过程和心是心的 instance 和那个心是那个施事体的 part 和时距是分钟的 instance 和 heartRate 那个心, 那个时距 and 整数，然后那个整数是 greaterThan 100
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 122-136	如果 restingHeartRate 哺乳动物 and 整数和那个哺乳动物EART 是心的 instance 和那个哺乳动物EART 是那个哺乳动物的 part，然后有存在时距这样不存在那个整数EC 这样那个整数EC 是娱乐或锻炼的 instance 和那个哺乳动物是那个整数EC 的 agent 和那个时距在那个整数EC 出现的 time 时段内发生和那个时距是分钟的 instance 和 heartRate 那个哺乳动物, 那个时距 and 那个整数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10741-10750	如果物理是心的 instance，然后那个物理的目的是有存在实体，那个物理B， and 和第三实体这样那个物理B 是 HeartBeat 的 instance 和那个实体是液体运动的 instance 和那个第三实体是血液的 instance 和移动那个实体 and 那个第三实体和那个物理B causes 那个实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11340-11347	如果客体是心的 instance，然后有存在过程和实体这样那个过程是转移的 instance 和那个实体是血液的 instance 和那个客体是导致那个过程的 instrument 和那个实体是那个过程的 patient

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11107-11117	如果客体是动脉的 instance 和过程是转移的 instance 和实体是那个过程的 patient 和那个客体是导致那个过程的 instrument 和那个实体是血液的 instance，然后有存在另一个客体这样那个另外客体是心的 instance 和那个另外客体是那个过程的源头
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3449-3460	如果过程是 Electrocardiography 的 instance 和实体是那个过程的 patient 和施事体是那个过程的 agent 和医生是那个施事体的 attribute，然后那个过程的目的是那个施事体 knows 有存在另一个实体这样 ImpairedBodyPartFn 心是那个实体的 attribute 是那个另外实体
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1882-1891	如果客体是 Electrocardiogram 的 instance 和 EKGAbnormal 是那个客体的 attribute 和那个客体提到另一个客体和那个另外客体是第三客体的 part 和那个另外客体是心的 instance，然后 ImpairedBodyPartFn 心是那个第三客体的 attribute 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1865-1875	如果客体是 Electrocardiogram 的 instance 和 EKGNormal 是那个客体的 attribute 和那个客体提到另一个客体和那个另外客体是第三客体的 part 和那个另外客体是心的 instance，然后 ImpairedBodyPartFn 心不是那个第三客体的 attribute 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 275-283	如果洞是 LeftAtrium 的 instance 和那个洞是客体的 part，然后有存在那个客体和那个客体EART 这样那个客体EART equal 洞那个洞的主体和那个客体EART 是那个客体的 part 和那个客体EART 是心的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 291-299	如果洞是 LeftVentricle 的 instance 和那个洞是客体的 part，然后有存在那个客体和那个客体EART 这样那个客体EART equal 洞那个洞的主体和那个客体EART 是那个客体的 part 和那个客体EART 是心的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 307-315	如果洞是 RightAtrium 的 instance 和那个洞是客体的 part，然后有存在那个客体和那个客体EART 这样那个客体EART equal 洞那个洞的主体和那个客体EART 是那个客体的 part 和那个客体EART 是心的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 323-331	如果洞是 RightVentricle 的 instance 和那个洞是客体的 part，然后有存在那个客体和那个客体EART 这样那个客体EART equal 洞那个洞的主体和那个客体EART 是那个客体的 part 和那个客体EART 是心的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2072-2080	如果过程是 HeartPalpitations 的 instance 和施事体经历了那个过程，然后有存在那个施事体EART 这样那个施事体EART 是心的 instance 和那个施事体EART 是那个施事体的 part 和那个过程是 located 在那个施事体EART
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11246-11261	如果自身连接物体是 RibCage 的 instance 和那个自身连接物体是客体的 part 和那个客体是人类的 instance 和活的是那个客体的 attribute 和 ~{ 物理是病理过程的 instance } 或 ~{ 那个物理是 located 在那个客体 }，然后有存在那个客体T 和第三客体这样那个客体T 是心的 instance 和那个客体T 是肺的 instance 和那个自身连接物体 contains 那个第三客体和那个自身连接物体 contains 那个客体T
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11156-11171	如果客体是肺静脉的 instance 和过程是转移的 instance 和实体是那个过程的 patient 和那个客体是导致那个过程的 instrument 和那个实体是血液的 instance，然后有存在另一个客体，第三客体， and 和第四客体这样那个另外客体是肺的 instance 和那个另外客体是那个过程的源头和那个客体是那个第四客体的 part 和那个另外客体是那个第四客体的 part 和那个第三客体是那个第四客体的 part 和那个第三客体是心的 instance 和那个过程在那个第三客体结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11124-11134	如果客体是静脉的 instance 和过程是转移的 instance 和实体是那个过程的 patient 和那个客体是导致那个过程的 instrument 和那个实体是血液的 instance，然后有存在另一个实体这样那个另外实体是心的 instance 和那个过程在那个另外实体结束
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5732-5736	如果 HeartDisease 是客体的 attribute，然后 ImpairedBodyPartFn 心是那个客体的 attribute 或 ImpairedBodyPartFn 血管是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10720-10725	如果过程是 HeartBeat 的 instance，然后有存在实体这样那个实体是那个过程的 patient 和那个实体是心的 instance
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1682-1687	如果过程是 HeartBeatingAtFasterRate 的 instance，然后有存在实体这样那个实体是心的 instance 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10419-10424	如果物理是 HeartMuscle 的 instance，然后有存在客体这样那个客体是心的 instance 和那个物理是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11401-11407	如果物理是 Pericardium 的 instance，然后那个物理的目的是有存在实体这样那个实体是心的 instance 和那个物理 contains 那个实体

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: