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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ParalysisFn
ParalysisFn

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6320-6321
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6322-6322 Le nombre 1 argument de ParalysisFn est une instance de partie du corps
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6319-6319 ParalysisFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6323-6323 Les valeurs retourn�es par ParalysisFn sont des sous-classes de Paralysis

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6325-6325
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6324-6324

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6329-6343

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 1854-1854 FacialParalysis est une sous-classe de ParalysisFn Face


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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