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 13509-13510
No TPTP formula. May not be expressible in strict first order. Merge.kif 13511-13511 Le nombre 1 argument de SenseImpairmentFn est une sous-classe de perception
No TPTP formula. May not be expressible in strict first order. Merge.kif 13508-13508 SenseImpairmentFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 13512-13512 Les valeurs retourn�es par SenseImpairmentFn sont des sous-classes de processus pathologique

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


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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13516-13526
No TPTP formula. May not be expressible in strict first order. Merge.kif 13536-13541

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2021-2021 Anosmia est une sous-classe de SenseImpairmentFn sentir
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2027-2027 Dysgeusia est une sous-classe de SenseImpairmentFn go�ter


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