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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - biochemicalAgentDelivery
biochemicalAgentDelivery

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 779-782
No TPTP formula. May not be expressible in strict first order. WMD.kif 777-777 The number 1 argument of biochemical agent delivery is a subclass of biochemical agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 778-778 The number 2 argument of biochemical agent delivery is a subclass of process
No TPTP formula. May not be expressible in strict first order. WMD.kif 776-776 biochemical agent delivery is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 292-292
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 291-291
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 290-290
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10991-10991
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10990-10990
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10989-10989

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 784-788

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 784-788

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 762-768 ?SYMPTOM is a biochemical agent syndrome of ?AGENT and ?PROCESSTYPE is a biochemical agent delivery of ?AGENT and ?PROCESS is an instance of ?PROCESSTYPE and ?ORGANISM experiences ?PROCESS increases likelihood of ?SYMPTOM is an attribute of ?ORGANISM

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 292-292 Breathing is a biochemical agent delivery of aerosolized bacillus anthracis
No TPTP formula. May not be expressible in strict first order. WMD.kif 281-281 Breathing is a biochemical agent delivery of bacillus anthracis
No TPTP formula. May not be expressible in strict first order. WMD.kif 282-282 Ingesting is a biochemical agent delivery of bacillus anthracis
No TPTP formula. May not be expressible in strict first order. WMD.kif 283-283 Poking is a biochemical agent delivery of bacillus anthracis
No TPTP formula. May not be expressible in strict first order. WMD.kif 284-284 Touching is a biochemical agent delivery of bacillus anthracis
No TPTP formula. May not be expressible in strict first order. WMD.kif 1716-1716 Ingesting is a biochemical agent delivery of bacillus cereus
No TPTP formula. May not be expressible in strict first order. WMD.kif 200-200 Breathing is a biochemical agent delivery of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 201-201 Touching is a biochemical agent delivery of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 472-472 Breathing is a biochemical agent delivery of blister agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 473-473 Ingesting is a biochemical agent delivery of blister agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 471-471 Touching is a biochemical agent delivery of blister agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 518-518 Breathing is a biochemical agent delivery of blood agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1453-1453 Breathing is a biochemical agent delivery of bordetella pertussis
No TPTP formula. May not be expressible in strict first order. WMD.kif 326-326 Ingesting is a biochemical agent delivery of botulinum toxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 357-357 Poking is a biochemical agent delivery of burkholderia mallei
No TPTP formula. May not be expressible in strict first order. WMD.kif 374-374 Breathing is a biochemical agent delivery of burkholderia pseudomallei
No TPTP formula. May not be expressible in strict first order. WMD.kif 375-375 Ingesting is a biochemical agent delivery of burkholderia pseudomallei
No TPTP formula. May not be expressible in strict first order. WMD.kif 373-373 Poking is a biochemical agent delivery of burkholderia pseudomallei
No TPTP formula. May not be expressible in strict first order. WMD.kif 1463-1463 Breathing is a biochemical agent delivery of chlamydia psittaci
No TPTP formula. May not be expressible in strict first order. WMD.kif 598-598 Breathing is a biochemical agent delivery of choking agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 342-342 Ingesting is a biochemical agent delivery of clostridium perfringens
No TPTP formula. May not be expressible in strict first order. WMD.kif 1410-1410 Poking is a biochemical agent delivery of clostridium tetani
No TPTP formula. May not be expressible in strict first order. WMD.kif 1169-1169 Breathing is a biochemical agent delivery of coxiella burnetii
No TPTP formula. May not be expressible in strict first order. WMD.kif 1170-1170 Ingesting is a biochemical agent delivery of coxiella burnetii
No TPTP formula. May not be expressible in strict first order. WMD.kif 1787-1787 Poking is a biochemical agent delivery of crimean congo hemorrhagic fever virus

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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