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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Paralysis

 Sigma KEE - Paralysis
Paralysis(麻痺)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6304-6305
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6303-6303 例 麻痺 and DiseaseOrSyndrome

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 560-560 麻痺 是 神經毒劑 的 biochemical 病毒徵兆
No TPTP formula. May not be expressible in strict first order. WMD.kif 335-335 麻痺 是 肉毒中毒 的 disease 病狀
No TPTP formula. May not be expressible in strict first order. WMD.kif 1463-1463 麻痺 是 麻痺性貝類中毒 的 disease 病狀
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6324-6324 範圍子類 ParalysisFn and 麻痺
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44400-44400
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44399-44399
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44398-44398

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


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


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