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


(documentation biologicalAgentCarrier EnglishLanguage "(biologicalAgentCarrier ?AGENT ?ORGANISM) means that the subclass of Organism ?ORGANISM is a carrier of the subclass of BiologicalAgent ?AGENT.") WMD.kif 927-929
(domainSubclass biologicalAgentCarrier 1 BiologicalAgent) WMD.kif 925-925 domainSubclass biologicalAgentCarrier, 1 and BiologicalAgent
(domainSubclass biologicalAgentCarrier 2 Organism) WMD.kif 926-926 domainSubclass biologicalAgentCarrier, 2 and Organism
(instance biologicalAgentCarrier BinaryPredicate) WMD.kif 924-924 instance biologicalAgentCarrier and BinaryPredicate

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


(format ChineseLanguage biologicalAgentCarrier "%2 %n 是 %1 的病毒传递者") domainEnglishFormat.kif 304-304
(format ChineseTraditionalLanguage biologicalAgentCarrier "%2 %n 是 %1 的病毒傳遞者") domainEnglishFormat.kif 303-303
(format EnglishLanguage biologicalAgentCarrier "%2 is %n a biological agent carrier of %1") domainEnglishFormat.kif 302-302
(termFormat ChineseLanguage biologicalAgentCarrier "生物制剂载体") domainEnglishFormat.kif 11047-11047
(termFormat ChineseTraditionalLanguage biologicalAgentCarrier "生物製劑載體") domainEnglishFormat.kif 11046-11046
(termFormat EnglishLanguage biologicalAgentCarrier "biological agent carrier") domainEnglishFormat.kif 11045-11045

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


(=>
    (and
        (biologicalAgentCarrier ?AGENT ?ORGANISM)
        (subclass ?SUB ?ORGANISM))
    (biologicalAgentCarrier ?AGENT ?SUB))
WMD.kif 931-935

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


(=>
    (and
        (biologicalAgentCarrier ?AGENT ?ORGANISM)
        (subclass ?SUB ?ORGANISM))
    (biologicalAgentCarrier ?AGENT ?SUB))
WMD.kif 931-935

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


(biologicalAgentCarrier BacillusAnthracis HoofedMammal) WMD.kif 285-285 biologicalAgentCarrier BacillusAnthracis and HoofedMammal
(biologicalAgentCarrier BordetellaPertussis Human) WMD.kif 1451-1451 biologicalAgentCarrier BordetellaPertussis and Human
(biologicalAgentCarrier BurkholderiaMallei Mammal) WMD.kif 356-356 biologicalAgentCarrier BurkholderiaMallei and Mammal
(biologicalAgentCarrier BurkholderiaPseudomallei Mammal) WMD.kif 372-372 biologicalAgentCarrier BurkholderiaPseudomallei and Mammal
(biologicalAgentCarrier ChlamydiaPsittaci Bird) WMD.kif 1462-1462 biologicalAgentCarrier ChlamydiaPsittaci and Bird
(biologicalAgentCarrier Conotoxin Mollusk) WMD.kif 1373-1373 biologicalAgentCarrier Conotoxin and Mollusk
(biologicalAgentCarrier CrimeanCongoHemorrhagicFeverVirus Arachnid) WMD.kif 1785-1785 biologicalAgentCarrier CrimeanCongoHemorrhagicFeverVirus and Arachnid
(biologicalAgentCarrier DengueFeverVirus Insect) WMD.kif 1504-1504 biologicalAgentCarrier DengueFeverVirus and Insect
(biologicalAgentCarrier EasternEquineEncephalitisVirus Insect) WMD.kif 1555-1555 biologicalAgentCarrier EasternEquineEncephalitisVirus and Insect
(biologicalAgentCarrier FrancisellaTularensis Arachnid) WMD.kif 1124-1124 biologicalAgentCarrier FrancisellaTularensis and Arachnid
(biologicalAgentCarrier FrancisellaTularensis Rodent) WMD.kif 1123-1123 biologicalAgentCarrier FrancisellaTularensis and Rodent
(biologicalAgentCarrier GiardiaLamblia Rodent) WMD.kif 1283-1283 biologicalAgentCarrier GiardiaLamblia and Rodent
(biologicalAgentCarrier HerpesBVirus Monkey) WMD.kif 1421-1421 biologicalAgentCarrier HerpesBVirus and Monkey
(biologicalAgentCarrier JapaneseEncephalitisVirus Insect) WMD.kif 1569-1569 biologicalAgentCarrier JapaneseEncephalitisVirus and Insect
(biologicalAgentCarrier JuninVirus Rodent) WMD.kif 1791-1791 biologicalAgentCarrier JuninVirus and Rodent
(biologicalAgentCarrier LaCrosseVirus Insect) WMD.kif 1525-1525 biologicalAgentCarrier LaCrosseVirus and Insect
(biologicalAgentCarrier LaCrosseVirus Rodent) WMD.kif 1526-1526 biologicalAgentCarrier LaCrosseVirus and Rodent
(biologicalAgentCarrier LassaVirus Rodent) WMD.kif 1726-1726 biologicalAgentCarrier LassaVirus and Rodent
(biologicalAgentCarrier MachupoVirus Rodent) WMD.kif 1804-1804 biologicalAgentCarrier MachupoVirus and Rodent
(biologicalAgentCarrier MalarialPlasmodium Insect) WMD.kif 1481-1481 biologicalAgentCarrier MalarialPlasmodium and Insect
(biologicalAgentCarrier MonkeypoxVirus Mammal) WMD.kif 1154-1154 biologicalAgentCarrier MonkeypoxVirus and Mammal
(biologicalAgentCarrier Myxomatosis Rodent) WMD.kif 1307-1307 biologicalAgentCarrier Myxomatosis and Rodent
(biologicalAgentCarrier RickettsiaProwazekii Arthropod) WMD.kif 267-267 biologicalAgentCarrier RickettsiaProwazekii and Arthropod
(biologicalAgentCarrier RickettsiaRickettsii Arthropod) WMD.kif 253-253 biologicalAgentCarrier RickettsiaRickettsii and Arthropod
(biologicalAgentCarrier RickettsialAgent Arthropod) WMD.kif 248-248 biologicalAgentCarrier RickettsialAgent and Arthropod

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