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 779-782
s__domainSubclass(s__biochemicalAgentDelivery__m,n__1,s__BiochemicalAgent)

WMD.kif 777-777 The number 1 argument of biochemical agent delivery is a subclass of biochemical agent
s__domainSubclass(s__biochemicalAgentDelivery__m,n__2,s__Process)

WMD.kif 778-778 The number 2 argument of biochemical agent delivery is a subclass of process
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__biochemicalAgentDelivery__m,s__BinaryPredicate)

WMD.kif 776-776 biochemical agent delivery is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__biochemicalAgentDelivery__m,'"%2 %n 是 %1 的 biochemical 病毒传递"')

domainEnglishFormat.kif 292-292
s__format(s__ChineseTraditionalLanguage,s__biochemicalAgentDelivery__m,'"%2 %n 是 %1 的 biochemical 病毒傳遞"')

domainEnglishFormat.kif 291-291
s__format(s__EnglishLanguage,s__biochemicalAgentDelivery__m,'"%2 is %n a biochemical agent delivery of %1"')

domainEnglishFormat.kif 290-290
s__termFormat(s__ChineseLanguage,s__biochemicalAgentDelivery__m,'"生化剂递送"')

domainEnglishFormat.kif 11048-11048
s__termFormat(s__ChineseTraditionalLanguage,s__biochemicalAgentDelivery__m,'"生化劑遞送"')

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

domainEnglishFormat.kif 11046-11046

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


( ! [V__AGENT,V__PROCESS,V__SUB] :
   (((s__subclass(V__AGENT,s__BiochemicalAgent) &
         s__instance(V__PROCESS,s__Class) &
         s__subclass(V__PROCESS,s__Process) &
         s__instance(V__SUB,s__Class) &
         s__subclass(V__SUB,s__Process))
       =>
       (((s__biochemicalAgentDelivery(V__AGENT,V__PROCESS)
           &
           s__subclass(V__SUB,V__PROCESS))
       =>
       (s__biochemicalAgentDelivery(V__AGENT,V__SUB)))))
)
)

WMD.kif 784-788

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


( ! [V__AGENT,V__PROCESS,V__SUB] :
   (((s__subclass(V__AGENT,s__BiochemicalAgent) &
         s__instance(V__PROCESS,s__Class) &
         s__subclass(V__PROCESS,s__Process) &
         s__instance(V__SUB,s__Class) &
         s__subclass(V__SUB,s__Process))
       =>
       (((s__biochemicalAgentDelivery(V__AGENT,V__PROCESS)
           &
           s__subclass(V__SUB,V__PROCESS))
       =>
       (s__biochemicalAgentDelivery(V__AGENT,V__SUB)))))
)
)

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


s__biochemicalAgentDelivery(s__AerosolizedBacillusAnthracis,s__Breathing)

WMD.kif 292-292 Breathing is a biochemical agent delivery of aerosolized bacillus anthracis
s__biochemicalAgentDelivery(s__BacillusAnthracis,s__Breathing)

WMD.kif 281-281 Breathing is a biochemical agent delivery of bacillus anthracis
s__biochemicalAgentDelivery(s__BacillusAnthracis,s__Ingesting)

WMD.kif 282-282 Ingesting is a biochemical agent delivery of bacillus anthracis
s__biochemicalAgentDelivery(s__BacillusAnthracis,s__Poking)

WMD.kif 283-283 Poking is a biochemical agent delivery of bacillus anthracis
s__biochemicalAgentDelivery(s__BacillusAnthracis,s__Touching)

WMD.kif 284-284 Touching is a biochemical agent delivery of bacillus anthracis
s__biochemicalAgentDelivery(s__BacillusCereus,s__Ingesting)

WMD.kif 1789-1789 Ingesting is a biochemical agent delivery of bacillus cereus
s__biochemicalAgentDelivery(s__BacterialAgent,s__Breathing)

WMD.kif 200-200 Breathing is a biochemical agent delivery of bacterial agent
s__biochemicalAgentDelivery(s__BacterialAgent,s__Touching)

WMD.kif 201-201 Touching is a biochemical agent delivery of bacterial agent
s__biochemicalAgentDelivery(s__BlisterAgent,s__Breathing)

WMD.kif 472-472 Breathing is a biochemical agent delivery of blister agent
s__biochemicalAgentDelivery(s__BlisterAgent,s__Ingesting)

WMD.kif 473-473 Ingesting is a biochemical agent delivery of blister agent
s__biochemicalAgentDelivery(s__BlisterAgent,s__Touching)

WMD.kif 471-471 Touching is a biochemical agent delivery of blister agent
s__biochemicalAgentDelivery(s__BloodAgent,s__Breathing)

WMD.kif 518-518 Breathing is a biochemical agent delivery of blood agent
s__biochemicalAgentDelivery(s__BordetellaPertussis,s__Breathing)

WMD.kif 1526-1526 Breathing is a biochemical agent delivery of bordetella pertussis
s__biochemicalAgentDelivery(s__BotulinumToxin,s__Ingesting)

WMD.kif 326-326 Ingesting is a biochemical agent delivery of botulinum toxin
s__biochemicalAgentDelivery(s__BurkholderiaMallei,s__Poking)

WMD.kif 357-357 Poking is a biochemical agent delivery of burkholderia mallei
s__biochemicalAgentDelivery(s__BurkholderiaPseudomallei,s__Breathing)

WMD.kif 374-374 Breathing is a biochemical agent delivery of burkholderia pseudomallei
s__biochemicalAgentDelivery(s__BurkholderiaPseudomallei,s__Ingesting)

WMD.kif 375-375 Ingesting is a biochemical agent delivery of burkholderia pseudomallei
s__biochemicalAgentDelivery(s__BurkholderiaPseudomallei,s__Poking)

WMD.kif 373-373 Poking is a biochemical agent delivery of burkholderia pseudomallei
s__biochemicalAgentDelivery(s__ChlamydiaPsittaci,s__Breathing)

WMD.kif 1536-1536 Breathing is a biochemical agent delivery of chlamydia psittaci
s__biochemicalAgentDelivery(s__ChokingAgent,s__Breathing)

WMD.kif 598-598 Breathing is a biochemical agent delivery of choking agent
s__biochemicalAgentDelivery(s__ClostridiumPerfringens,s__Ingesting)

WMD.kif 342-342 Ingesting is a biochemical agent delivery of clostridium perfringens
s__biochemicalAgentDelivery(s__ClostridiumTetani,s__Poking)

WMD.kif 1477-1477 Poking is a biochemical agent delivery of clostridium tetani
s__biochemicalAgentDelivery(s__CoxiellaBurnetii,s__Breathing)

WMD.kif 1236-1236 Breathing is a biochemical agent delivery of coxiella burnetii
s__biochemicalAgentDelivery(s__CoxiellaBurnetii,s__Ingesting)

WMD.kif 1237-1237 Ingesting is a biochemical agent delivery of coxiella burnetii
s__biochemicalAgentDelivery(s__CrimeanCongoHemorrhagicFeverVirus,s__Poking)

WMD.kif 1860-1860 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