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
-------------------------


s__documentation(s__biochemicalAgentDelivery__m,s__EnglishLanguage,'(biochemicalAgentDelivery ?AGENT ?PROCESS) means that the Process ?PROCESS is capable of infecting an organism with the BiochemicalAgent ?AGENT when the organism is the experiencer and the ?AGENT the patient of an instance of ?PROCESS.')

WMD.kif 778-781
s__domainSubclass(s__biochemicalAgentDelivery__m,1,s__BiochemicalAgent)

WMD.kif 776-776
s__domainSubclass(s__biochemicalAgentDelivery__m,2,s__Process)

WMD.kif 777-777
s__instance(s__biochemicalAgentDelivery__m,s__BinaryPredicate)

WMD.kif 775-775

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


s__format(s__EnglishLanguage,s__biochemicalAgentDelivery__m,'%2 is %n a biochemical agent delivery of %1')

domainEnglishFormat.kif 82-82
s__termFormat(s__EnglishLanguage,s__biochemicalAgentDelivery__m,'biochemical agent delivery')

domainEnglishFormat.kif 2264-2264

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


( ! [V__AGENT,V__PROCESS,V__SUB] :
   ((s__biochemicalAgentDelivery(V__AGENT,V__PROCESS)
     &
     s__subclass(V__SUB,V__PROCESS))
=>
s__biochemicalAgentDelivery(V__AGENT,V__SUB))
)

WMD.kif 783-787

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


( ! [V__AGENT,V__PROCESS,V__SUB] :
   ((s__biochemicalAgentDelivery(V__AGENT,V__PROCESS)
     &
     s__subclass(V__SUB,V__PROCESS))
=>
s__biochemicalAgentDelivery(V__AGENT,V__SUB))
)

WMD.kif 783-787

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 761-767

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


s__biochemicalAgentDelivery(s__AerosolizedBacillusAnthracis,s__Breathing)

WMD.kif 292-292
s__biochemicalAgentDelivery(s__BacillusAnthracis,s__Breathing)

WMD.kif 281-281
s__biochemicalAgentDelivery(s__BacillusAnthracis,s__Ingesting)

WMD.kif 282-282
s__biochemicalAgentDelivery(s__BacillusAnthracis,s__Poking)

WMD.kif 283-283
s__biochemicalAgentDelivery(s__BacillusAnthracis,s__Touching)

WMD.kif 284-284
s__biochemicalAgentDelivery(s__BacillusCereus,s__Ingesting)

WMD.kif 1699-1699
s__biochemicalAgentDelivery(s__BacterialAgent,s__Breathing)

WMD.kif 200-200
s__biochemicalAgentDelivery(s__BacterialAgent,s__Touching)

WMD.kif 201-201
s__biochemicalAgentDelivery(s__BlisterAgent,s__Breathing)

WMD.kif 472-472
s__biochemicalAgentDelivery(s__BlisterAgent,s__Ingesting)

WMD.kif 473-473
s__biochemicalAgentDelivery(s__BlisterAgent,s__Touching)

WMD.kif 471-471
s__biochemicalAgentDelivery(s__BloodAgent,s__Breathing)

WMD.kif 518-518
s__biochemicalAgentDelivery(s__BordetellaPertussis,s__Breathing)

WMD.kif 1436-1436
s__biochemicalAgentDelivery(s__BotulinumToxin,s__Ingesting)

WMD.kif 326-326
s__biochemicalAgentDelivery(s__BurkholderiaMallei,s__Poking)

WMD.kif 357-357
s__biochemicalAgentDelivery(s__BurkholderiaPseudomallei,s__Breathing)

WMD.kif 374-374
s__biochemicalAgentDelivery(s__BurkholderiaPseudomallei,s__Ingesting)

WMD.kif 375-375
s__biochemicalAgentDelivery(s__BurkholderiaPseudomallei,s__Poking)

WMD.kif 373-373
s__biochemicalAgentDelivery(s__ChlamydiaPsittaci,s__Breathing)

WMD.kif 1446-1446
s__biochemicalAgentDelivery(s__ChokingAgent,s__Breathing)

WMD.kif 598-598
s__biochemicalAgentDelivery(s__ClostridiumPerfringens,s__Ingesting)

WMD.kif 342-342
s__biochemicalAgentDelivery(s__ClostridiumTetani,s__Poking)

WMD.kif 1393-1393
s__biochemicalAgentDelivery(s__CoxiellaBurnetii,s__Breathing)

WMD.kif 1154-1154
s__biochemicalAgentDelivery(s__CoxiellaBurnetii,s__Ingesting)

WMD.kif 1155-1155
s__biochemicalAgentDelivery(s__CrimeanCongoHemorrhagicFeverVirus,s__Poking)

WMD.kif 1770-1770

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