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 and Perception
No TPTP formula. May not be expressible in strict first order. Merge.kif 13486-13486 例 SenseImpairmentFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order. Merge.kif 13490-13490 範圍子類 SenseImpairmentFn and PathologicProcess

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 and SenseImpairmentFn Smelling
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2027-2027 子類 Dysgeusia and SenseImpairmentFn Tasting


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