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 The number 1 argument of sense impairment is a subclass of perception
No TPTP formula. May not be expressible in strict first order. Merge.kif 13486-13486 Sense impairment is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 13490-13490 The values returned by sense impairment are subclasses of pathologic process

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 Loss of smell is a subclass of impairment in smelling
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2027-2027 Loss of taste is a subclass of impairment in 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