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 918-920
s__domainSubclass(s__biologicalAgentCarrier__m,1,s__BiologicalAgent)

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

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

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

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


s__format(s__EnglishLanguage,s__biologicalAgentCarrier__m,'%2 is %n a biological agent carrier of %1')

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

domainEnglishFormat.kif 2274-2274 "biological agent carrier" is the printable form of biological agent carrier in english language

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


( ! [V__AGENT,V__ORGANISM,V__SUB] :
   ((s__biologicalAgentCarrier(V__AGENT,V__ORGANISM)
     &
     s__subclass(V__SUB,V__ORGANISM))
=>
s__biologicalAgentCarrier(V__AGENT,V__SUB))
)

WMD.kif 922-926

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


( ! [V__AGENT,V__ORGANISM,V__SUB] :
   ((s__biologicalAgentCarrier(V__AGENT,V__ORGANISM)
     &
     s__subclass(V__SUB,V__ORGANISM))
=>
s__biologicalAgentCarrier(V__AGENT,V__SUB))
)

WMD.kif 922-926

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 1434-1434 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 1445-1445 Bird is a biological agent carrier of chlamydia psittaci
s__biologicalAgentCarrier(s__Conotoxin,s__Mollusk)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

WMD.kif 1290-1290 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners