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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - biologicalAgentCarrier
biologicalAgentCarrier

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


s__documentation(s__biologicalAgentCarrier__m,s__EnglishLanguage,'"(biologicalAgentCarrier ?AGENT ?ORGANISM) means that the subclass of Organism ?ORGANISM is a carrier of the subclass of BiologicalAgent ?AGENT."')

WMD.kif 960-962
s__domainSubclass(s__biologicalAgentCarrier__m,n__1,s__BiologicalAgent)

WMD.kif 958-958 The number 1 argument of biological agent carrier is a subclass of biological agent
s__domainSubclass(s__biologicalAgentCarrier__m,n__2,s__Organism)

WMD.kif 959-959 The number 2 argument of biological agent carrier is a subclass of organism
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__biologicalAgentCarrier__m,s__BinaryPredicate)

WMD.kif 957-957 biological agent carrier is an instance of binary predicate

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


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

domainEnglishFormat.kif 304-304
s__format(s__ChineseTraditionalLanguage,s__biologicalAgentCarrier__m,'"%2 %n 是 %1 的病毒傳遞者"')

domainEnglishFormat.kif 303-303
s__format(s__EnglishLanguage,s__biologicalAgentCarrier__m,'"%2 is %n a biological agent carrier of %1"')

domainEnglishFormat.kif 302-302
s__termFormat(s__ChineseLanguage,s__biologicalAgentCarrier__m,'"生物制剂载体"')

domainEnglishFormat.kif 11108-11108
s__termFormat(s__ChineseTraditionalLanguage,s__biologicalAgentCarrier__m,'"生物製劑載體"')

domainEnglishFormat.kif 11107-11107
s__termFormat(s__EnglishLanguage,s__biologicalAgentCarrier__m,'"biological agent carrier"')

domainEnglishFormat.kif 11106-11106

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


( ! [V__AGENT,V__ORGANISM,V__SUB] :
   (((s__subclass(V__AGENT,s__BiologicalAgent) &
         s__subclass(V__ORGANISM,s__Organism) &
         s__instance(V__ORGANISM,s__Class) &
         s__subclass(V__SUB,s__Organism) &
         s__instance(V__SUB,s__Class))
       =>
       (((s__biologicalAgentCarrier(V__AGENT,V__ORGANISM)
           &
           s__subclass(V__SUB,V__ORGANISM))
       =>
       (s__biologicalAgentCarrier(V__AGENT,V__SUB)))))
)
)

WMD.kif 964-968

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


( ! [V__AGENT,V__ORGANISM,V__SUB] :
   (((s__subclass(V__AGENT,s__BiologicalAgent) &
         s__subclass(V__ORGANISM,s__Organism) &
         s__instance(V__ORGANISM,s__Class) &
         s__subclass(V__SUB,s__Organism) &
         s__instance(V__SUB,s__Class))
       =>
       (((s__biologicalAgentCarrier(V__AGENT,V__ORGANISM)
           &
           s__subclass(V__SUB,V__ORGANISM))
       =>
       (s__biologicalAgentCarrier(V__AGENT,V__SUB)))))
)
)

WMD.kif 964-968

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


s__biologicalAgentCarrier(s__BacillusAnthracis,s__HoofedMammal)

WMD.kif 285-285 Hoofed mammal is a biological agent carrier of bacillus anthracis
s__biologicalAgentCarrier(s__BordetellaPertussis,s__Human)

WMD.kif 1524-1524 Human is a biological agent carrier of bordetella pertussis
s__biologicalAgentCarrier(s__BurkholderiaMallei,s__Mammal)

WMD.kif 356-356 Mammal is a biological agent carrier of burkholderia mallei
s__biologicalAgentCarrier(s__BurkholderiaPseudomallei,s__Mammal)

WMD.kif 372-372 Mammal is a biological agent carrier of burkholderia pseudomallei
s__biologicalAgentCarrier(s__ChlamydiaPsittaci,s__Bird)

WMD.kif 1535-1535 Bird is a biological agent carrier of chlamydia psittaci
s__biologicalAgentCarrier(s__Conotoxin,s__Mollusk)

WMD.kif 1440-1440 Mollusk is a biological agent carrier of conotoxin
s__biologicalAgentCarrier(s__CrimeanCongoHemorrhagicFeverVirus,s__Arachnid)

WMD.kif 1858-1858 Arachnid is a biological agent carrier of crimean congo hemorrhagic fever virus
s__biologicalAgentCarrier(s__DengueFeverVirus,s__Insect)

WMD.kif 1577-1577 Insect is a biological agent carrier of dengue fever virus
s__biologicalAgentCarrier(s__EasternEquineEncephalitisVirus,s__Insect)

WMD.kif 1628-1628 Insect is a biological agent carrier of eastern equine encephalitis virus
s__biologicalAgentCarrier(s__FrancisellaTularensis,s__Arachnid)

WMD.kif 1191-1191 Arachnid is a biological agent carrier of francisella tularensis
s__biologicalAgentCarrier(s__FrancisellaTularensis,s__Rodent)

WMD.kif 1190-1190 Rodent is a biological agent carrier of francisella tularensis
s__biologicalAgentCarrier(s__GiardiaLamblia,s__Rodent)

WMD.kif 1350-1350 Rodent is a biological agent carrier of giardia lamblia
s__biologicalAgentCarrier(s__HerpesBVirus,s__Monkey)

WMD.kif 1494-1494 Monkey is a biological agent carrier of herpesB virus
s__biologicalAgentCarrier(s__JapaneseEncephalitisVirus,s__Insect)

WMD.kif 1642-1642 Insect is a biological agent carrier of japanese encephalitis virus
s__biologicalAgentCarrier(s__JuninVirus,s__Rodent)

WMD.kif 1864-1864 Rodent is a biological agent carrier of junin virus
s__biologicalAgentCarrier(s__LaCrosseVirus,s__Insect)

WMD.kif 1598-1598 Insect is a biological agent carrier of la crosse virus
s__biologicalAgentCarrier(s__LaCrosseVirus,s__Rodent)

WMD.kif 1599-1599 Rodent is a biological agent carrier of la crosse virus
s__biologicalAgentCarrier(s__LassaVirus,s__Rodent)

WMD.kif 1799-1799 Rodent is a biological agent carrier of lassa virus
s__biologicalAgentCarrier(s__MachupoVirus,s__Rodent)

WMD.kif 1877-1877 Rodent is a biological agent carrier of machupo virus
s__biologicalAgentCarrier(s__MalarialPlasmodium,s__Insect)

WMD.kif 1554-1554 Insect is a biological agent carrier of malarial plasmodium
s__biologicalAgentCarrier(s__MonkeypoxVirus,s__Mammal)

WMD.kif 1221-1221 Mammal is a biological agent carrier of monkeypox virus
s__biologicalAgentCarrier(s__Myxomatosis,s__Rodent)

WMD.kif 1374-1374 Rodent is a biological agent carrier of Myxomatosis
s__biologicalAgentCarrier(s__RickettsiaProwazekii,s__Arthropod)

WMD.kif 267-267 Arthropod is a biological agent carrier of rickettsia prowazekii
s__biologicalAgentCarrier(s__RickettsiaRickettsii,s__Arthropod)

WMD.kif 253-253 Arthropod is a biological agent carrier of rickettsia rickettsii
s__biologicalAgentCarrier(s__RickettsialAgent,s__Arthropod)

WMD.kif 248-248 Arthropod is a biological agent carrier of rickettsial agent

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