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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AerosolizedAgent
AerosolizedAgent(aerosolized agent)
aerosolized_agent

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 97-100
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8325-8325 "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Aerosol-India.jpg" is a URL depicting aerosolized agent
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8832-8832 "http://upload.wikimedia.org/wikipedia/commons/5/58/ Luftguete_messstation.jpg" is a URL depicting aerosolized agent
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8833-8833 "http://upload.wikimedia.org/wikipedia/en/6/6f/US-PM2.5-nonattainment-2007-06.png" is a URL depicting aerosolized agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 96-96 Aerosolized agent is a subclass of biochemical agent

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 291-291 Aerosolized bacillus anthracis is a subclass of aerosolized agent
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1376-1376 "aerosolized agent" is the printable form of aerosolized agent in english language


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners