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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChemicalAgent
ChemicalAgent(chemical agent)active, active_agent

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 447-447 Chemical agent is disjoint from organic object
No TPTP formula. May not be expressible in strict first order. WMD.kif 448-450
No TPTP formula. May not be expressible in strict first order. WMD.kif 451-451 Chemical agent is a subclass of the complement of organic object
No TPTP formula. May not be expressible in strict first order. WMD.kif 444-444 Chemical agent is a subclass of biochemical agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 446-446 Chemical agent is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. WMD.kif 445-445 Chemical agent is a subclass of compound substance

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 475-475 Blister agent is a subclass of chemical agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 522-522 Blood agent is a subclass of chemical agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 602-602 Choking agent is a subclass of chemical agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 545-545 Incapacitating agent is a subclass of chemical agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 558-558 Nerve agent is a subclass of chemical agent
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14286-14286
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14285-14285
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14284-14284

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 82-82 Biochemical agent is exhaustively partitioned into biological agent and chemical agent

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 464-473

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 457-462


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