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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Creatinine

 Sigma KEE - NerveAgent
NerveAgent(nerve agent)
organophosphate_nerve_agent

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 561-561 Nerve agent biochemical agent antidote atropine for injecting
No TPTP formula. May not be expressible in strict first order. WMD.kif 559-559 Breathing is a biochemical agent delivery of nerve agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 560-560 Paralysis is a biochemical agent syndrome of nerve agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 562-565
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9467-9467
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8612-8612
No TPTP formula. May not be expressible in strict first order. WMD.kif 558-558 Nerve agent is a subclass of chemical agent

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 567-567 G series nerve agent is a subclass of nerve agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 592-592 V series nerve agent is a subclass of nerve agent
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40169-40169
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40168-40168
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40167-40167


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