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 778-781
No TPTP formula. May not be expressible in strict first order. WMD.kif 776-776 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 777-777 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 775-775 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 82-82
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2264-2264 "biochemical agent delivery" is the printable form of biochemical agent delivery in english language

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 783-787

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 783-787

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 761-767 A disease or syndrome is a biochemical agent syndrome of a kind of biochemical agent and a kind of process is a biochemical agent delivery of a kind of biochemical agent and another process is an instance of a kind of process and an agent experiences the other process increases likelihood of the disease or syndrome is an attribute of the agent

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 1699-1699 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 1436-1436 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 1446-1446 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 1393-1393 Poking is a biochemical agent delivery of clostridium tetani
No TPTP formula. May not be expressible in strict first order. WMD.kif 1154-1154 Breathing is a biochemical agent delivery of coxiella burnetii
No TPTP formula. May not be expressible in strict first order. WMD.kif 1155-1155 Ingesting is a biochemical agent delivery of coxiella burnetii
No TPTP formula. May not be expressible in strict first order. WMD.kif 1770-1770 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners