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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Paralysis
Paralysis

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6298-6299
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6297-6297 Paralysis est une instance de maladie ou syndrome

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 560-560 biochemicalAgentSyndrome NerveAgent and Paralysis
No TPTP formula. May not be expressible in strict first order. WMD.kif 335-335 diseaseSymptom Botulism and Paralysis
No TPTP formula. May not be expressible in strict first order. WMD.kif 1463-1463 diseaseSymptom ParalyticShellfishPoisoning and Paralysis
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6318-6318 Les valeurs retourn�es par ParalysisFn sont des sous-classes de Paralysis
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44402-44402
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44401-44401
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44400-44400

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


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


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