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

Formal Language: 



KB Term:  Term intersection
English Word: 

  biologicalAgentCarrier

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 918-920
(domainSubclass biologicalAgentCarrier 1 BiologicalAgent) WMD.kif 916-916
(domainSubclass biologicalAgentCarrier 2 Organism) WMD.kif 917-917
(instance biologicalAgentCarrier BinaryPredicate) WMD.kif 915-915

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


(format EnglishLanguage biologicalAgentCarrier "%2 is %n a biological agent carrier of %1") domainEnglishFormat.kif 85-85
(termFormat EnglishLanguage biologicalAgentCarrier "biological agent carrier") domainEnglishFormat.kif 2274-2274

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


(=>
    (and
        (biologicalAgentCarrier ?AGENT ?ORGANISM)
        (subclass ?SUB ?ORGANISM))
    (biologicalAgentCarrier ?AGENT ?SUB))
WMD.kif 922-926

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


(=>
    (and
        (biologicalAgentCarrier ?AGENT ?ORGANISM)
        (subclass ?SUB ?ORGANISM))
    (biologicalAgentCarrier ?AGENT ?SUB))
WMD.kif 922-926

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


(biologicalAgentCarrier BacillusAnthracis HoofedMammal) WMD.kif 285-285
(biologicalAgentCarrier BordetellaPertussis Human) WMD.kif 1434-1434
(biologicalAgentCarrier BurkholderiaMallei Mammal) WMD.kif 356-356
(biologicalAgentCarrier BurkholderiaPseudomallei Mammal) WMD.kif 372-372
(biologicalAgentCarrier ChlamydiaPsittaci Bird) WMD.kif 1445-1445
(biologicalAgentCarrier Conotoxin Mollusk) WMD.kif 1356-1356
(biologicalAgentCarrier CrimeanCongoHemorrhagicFeverVirus Arachnid) WMD.kif 1768-1768
(biologicalAgentCarrier DengueFeverVirus Insect) WMD.kif 1487-1487
(biologicalAgentCarrier EasternEquineEncephalitisVirus Insect) WMD.kif 1538-1538
(biologicalAgentCarrier FrancisellaTularensis Arachnid) WMD.kif 1115-1115
(biologicalAgentCarrier FrancisellaTularensis Rodent) WMD.kif 1114-1114
(biologicalAgentCarrier GiardiaLamblia Rodent) WMD.kif 1266-1266
(biologicalAgentCarrier HerpesBVirus Monkey) WMD.kif 1404-1404
(biologicalAgentCarrier JapaneseEncephalitisVirus Insect) WMD.kif 1552-1552
(biologicalAgentCarrier JuninVirus Rodent) WMD.kif 1774-1774
(biologicalAgentCarrier LaCrosseVirus Insect) WMD.kif 1508-1508
(biologicalAgentCarrier LaCrosseVirus Rodent) WMD.kif 1509-1509
(biologicalAgentCarrier LassaVirus Rodent) WMD.kif 1709-1709
(biologicalAgentCarrier MachupoVirus Rodent) WMD.kif 1787-1787
(biologicalAgentCarrier MalarialPlasmodium Insect) WMD.kif 1464-1464
(biologicalAgentCarrier MonkeypoxVirus Mammal) WMD.kif 1145-1145
(biologicalAgentCarrier Myxomatosis Rodent) WMD.kif 1290-1290
(biologicalAgentCarrier RickettsiaProwazekii Arthropod) WMD.kif 267-267
(biologicalAgentCarrier RickettsiaRickettsii Arthropod) WMD.kif 253-253
(biologicalAgentCarrier RickettsialAgent Arthropod) WMD.kif 248-248

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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