TreeView Knowledge Base Browser - ImpairedBodyPartFn

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

ImpairedBodyPartFn

Sigma KEE - ImpairedBodyPartFn

ImpairedBodyPartFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18242-18245
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.	Merge.kif 18239-18239	ImpairedBodyPartFn 是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18241-18241	ImpairedBodyPartFn 的 range 是疾病或综合症的实例

appearance as argument number 2

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

domainEnglishFormat.kif 65021-65021

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18247-18257	如果 ImpairedBodyPartFn 类是客体的 attribute 在时间位置 holdsDuring 和那个类I 是那个类的 instance 和那个类I 是那个客体的 part 和那个类I 的目的是公式，然后那个公式的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1328-1340	如果过程是碰撞的 instance 和实体是那个过程的 patient 和 ImpairedBodyPartFn 脑是那个实体的 attribute 在紧接那个过程 after holdsDuring，然后 Concussion 是那个实体的 attribute 在紧接那个过程 after holdsDuring 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 698-715	如果过程是暴力比赛的 instance 和客体是那个过程的 patient 和 InjuryCausedFn 另一个有点过程是那个客体的 attribute 和 ImpairedBodyPartFn 空中航线是那个客体的 attribute，然后另一个有点过程是燃烧的 subclass 或有存在实体这样另一个实体是受伤的 instance 和那个另外实体是 located 在第三实体和那个第三实体是面对的 instance 和那个客体是那个另外实体的 patient 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1374-1381	如果传染病是实体的 attribute 和 Diabetes 是那个实体的 attribute 和 ImpairedBodyPartFn 足是那个实体的 attribute 在时间位置 holdsDuring，然后传染病是对于注射的 disease 治愈 Ertapenem 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1645-1656	如果 ImpairedBodyPartFn Eardrum 是实体的 attribute 在时间位置 holdsDuring，然后不存在那个实体EAR 这样那个实体EAR 是听的 instance 和那个实体EAR 出现的 time 在那个时间位置时段内发生和那个实体经历了那个实体EAR 的声明 has 容易的语气

consequent

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 2316-2321	如果过程是 AddisonsDisease 的 instance 和施事体经历了那个过程，然后 ImpairedBodyPartFn AdrenalGland 是那个施事体的 attribute
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2329-2334	如果过程是 GravesDisease 的 instance 和施事体经历了那个过程，然后 ImpairedBodyPartFn 甲状腺是那个施事体的 attribute
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2375-2380	如果过程是 HashimotosThyroiditis 的 instance 和施事体经历了那个过程，然后 ImpairedBodyPartFn 甲状腺是那个施事体的 attribute
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2282-2287	如果过程是 InflammatoryBowelDisease 的 instance 和施事体经历了那个过程，然后 ImpairedBodyPartFn GastroIntestinalTract 是那个施事体的 attribute
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2301-2309	如果过程是 UlcerativeColitis 的 instance 和施事体经历了那个过程，然后 ImpairedBodyPartFn LargeIntestine 是那个施事体的 attribute 或 ImpairedBodyPartFn Rectum 是那个施事体的 attribute
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2251-2256	如果过程是 MultipleSclerosis 的 instance 和施事体经历了那个过程，然后 ImpairedBodyPartFn 神经系统是那个施事体的 attribute
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2418-2423	如果过程是 AutoimmuneVasculitis 的 instance 和施事体经历了那个过程，然后 ImpairedBodyPartFn 血管是那个施事体的 attribute
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2406-2411	如果过程是 MyastheniaGravis 的 instance 和施事体经历了那个过程，然后 ImpairedBodyPartFn 神经细胞是那个施事体的 attribute
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2359-2367	如果过程是 SjogrensSyndrome 的 instance 和施事体经历了那个过程，然后 ImpairedBodyPartFn SalivaryGland 是那个施事体的 attribute 或 ImpairedBodyPartFn TearGland 是那个施事体的 attribute
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.	Medicine.kif 1294-1299	如果 TraumaticBrainInjury 是实体的 attribute 在时间位置 holdsDuring，然后 ImpairedBodyPartFn 脑是那个实体的 attribute 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1718-1724	如果 visualAcuity 人类, 整数 and 另一个整数，然后有存在另一个人类这样 ImpairedBodyPartFn 眼睛不是那个另外人类的 attribute 和 visualAcuity 那个另外人类, 那个另外整数 and 那个另外整数

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