TreeView Knowledge Base Browser - SenseImpairmentFn

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 13247-13248
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13249-13249	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 13246-13246	Sense impairment is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13250-13250	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 13252-13252
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13251-13251

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13254-13264	If a process is an instance of impairment in a kind of perception and an agent experiences the process, then there exists the agent2 such that the agent2 is not equal to the agent and the agent2 is capable of doing a kind of perception as a experiencer and the agent is not capable of doing the kind of perception as a experiencer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13274-13279	If a process is an instance of impairment in a kind of perception and an agent experiences the process, then the agent is not capable of doing a kind of perception as a experiencer

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