Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  SenseImpairmentFn

 Sigma KEE - SenseImpairmentFn
SenseImpairmentFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13487-13488
No TPTP formula. May not be expressible in strict first order. Merge.kif 13489-13489 SenseImpairmentFn 的 1 数量 是 感知 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 13486-13486 SenseImpairmentFn 是 一元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 13490-13490 SenseImpairmentFn 的所得值 是 病理过程 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13492-13492
No TPTP formula. May not be expressible in strict first order. Merge.kif 13491-13491

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13494-13504
No TPTP formula. May not be expressible in strict first order. Merge.kif 13514-13519

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2021-2021 Anosmia 是 SenseImpairmentFn 嗅 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2027-2027 Dysgeusia 是 SenseImpairmentFn 尝 的 subclass


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