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

Formal Language: 



KB Term:  Term intersection
English Word: 

  biochemicalAgentDelivery

Sigma KEE - biochemicalAgentDelivery
biochemicalAgentDelivery

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 784-787
No TPTP formula. May not be expressible in strict first order. WMD.kif 782-782 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 783-783 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 781-781 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 11039-11039
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11038-11038
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11037-11037

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 789-793

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 789-793

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 767-773 ?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 Injecting 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 1850-1850 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 477-477 Breathing is a biochemical agent delivery of blister agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 478-478 Ingesting is a biochemical agent delivery of blister agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 476-476 Touching is a biochemical agent delivery of blister agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 523-523 Breathing is a biochemical agent delivery of blood agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1588-1588 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 Injecting 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 Injecting is a biochemical agent delivery of burkholderia pseudomallei
No TPTP formula. May not be expressible in strict first order. WMD.kif 1598-1598 Breathing is a biochemical agent delivery of chlamydia psittaci
No TPTP formula. May not be expressible in strict first order. WMD.kif 603-603 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 1507-1507 Injecting is a biochemical agent delivery of clostridium tetani
No TPTP formula. May not be expressible in strict first order. WMD.kif 1250-1250 Breathing is a biochemical agent delivery of coxiella burnetii
No TPTP formula. May not be expressible in strict first order. WMD.kif 1251-1251 Ingesting is a biochemical agent delivery of coxiella burnetii
No TPTP formula. May not be expressible in strict first order. WMD.kif 1921-1921 Injecting 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 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