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 |