Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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 965-967
(
domainSubclass
biologicalAgentCarrier
1
BiologicalAgent
)
WMD.kif 963-963
The number 1 argument of
biological agent carrier
is a
subclass
of
biological agent
(
domainSubclass
biologicalAgentCarrier
2
Organism
)
WMD.kif 964-964
The number 2 argument of
biological agent carrier
is a
subclass
of
organism
(
instance
biologicalAgentCarrier
BinaryPredicate
)
WMD.kif 962-962
biological agent carrier
is an
instance
of
binary predicate
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 11108-11108
(
termFormat
ChineseTraditionalLanguage
biologicalAgentCarrier
"生物製劑載體")
domainEnglishFormat.kif 11107-11107
(
termFormat
EnglishLanguage
biologicalAgentCarrier
"biological agent carrier")
domainEnglishFormat.kif 11106-11106
antecedent
(=>
(
and
(
biologicalAgentCarrier
?AGENT ?ORGANISM)
(
subclass
?SUB ?ORGANISM))
(
biologicalAgentCarrier
?AGENT ?SUB))
WMD.kif 969-973
If
a kind of organism
is a
biological
agent carrier of
a kind of biological agent
and
another kind of organism
is a
subclass
of
a kind of organism
,
then
another kind of organism
is a
biological
agent carrier of
a kind of biological agent
consequent
(=>
(
and
(
biologicalAgentCarrier
?AGENT ?ORGANISM)
(
subclass
?SUB ?ORGANISM))
(
biologicalAgentCarrier
?AGENT ?SUB))
WMD.kif 969-973
If
a kind of organism
is a
biological
agent carrier of
a kind of biological agent
and
another kind of organism
is a
subclass
of
a kind of organism
,
then
another kind of organism
is a
biological
agent carrier of
a kind of biological agent
appearance as argument number 0
(
biologicalAgentCarrier
BacillusAnthracis
HoofedMammal
)
WMD.kif 285-285
Hoofed mammal
is a
biological
agent carrier of
bacillus anthracis
(
biologicalAgentCarrier
BordetellaPertussis
Human
)
WMD.kif 1577-1577
Human
is a
biological
agent carrier of
bordetella pertussis
(
biologicalAgentCarrier
BurkholderiaMallei
Mammal
)
WMD.kif 356-356
Mammal
is a
biological
agent carrier of
burkholderia mallei
(
biologicalAgentCarrier
BurkholderiaPseudomallei
Mammal
)
WMD.kif 372-372
Mammal
is a
biological
agent carrier of
burkholderia pseudomallei
(
biologicalAgentCarrier
ChlamydiaPsittaci
Bird
)
WMD.kif 1588-1588
Bird
is a
biological
agent carrier of
chlamydia psittaci
(
biologicalAgentCarrier
Conotoxin
Mollusk
)
WMD.kif 1461-1461
Mollusk
is a
biological
agent carrier of
conotoxin
(
biologicalAgentCarrier
CrimeanCongoHemorrhagicFeverVirus
Arachnid
)
WMD.kif 1910-1910
Arachnid
is a
biological
agent carrier of
crimean congo hemorrhagic fever virus
(
biologicalAgentCarrier
DengueFeverVirus
Mosquito
)
WMD.kif 1629-1629
Mosquito
is a
biological
agent carrier of
dengue fever virus
(
biologicalAgentCarrier
EasternEquineEncephalitisVirus
Mosquito
)
WMD.kif 1680-1680
Mosquito
is a
biological
agent carrier of
eastern equine encephalitis virus
(
biologicalAgentCarrier
FrancisellaTularensis
Arachnid
)
WMD.kif 1197-1197
Arachnid
is a
biological
agent carrier of
francisella tularensis
(
biologicalAgentCarrier
FrancisellaTularensis
Rodent
)
WMD.kif 1196-1196
Rodent
is a
biological
agent carrier of
francisella tularensis
(
biologicalAgentCarrier
GiardiaLamblia
Rodent
)
WMD.kif 1356-1356
Rodent
is a
biological
agent carrier of
giardia lamblia
(
biologicalAgentCarrier
HerpesBVirus
Monkey
)
WMD.kif 1515-1515
Monkey
is a
biological
agent carrier of
herpesB virus
(
biologicalAgentCarrier
JapaneseEncephalitisVirus
Mosquito
)
WMD.kif 1694-1694
Mosquito
is a
biological
agent carrier of
japanese encephalitis virus
(
biologicalAgentCarrier
JuninVirus
Rodent
)
WMD.kif 1916-1916
Rodent
is a
biological
agent carrier of
junin virus
(
biologicalAgentCarrier
LaCrosseVirus
Mosquito
)
WMD.kif 1650-1650
Mosquito
is a
biological
agent carrier of
la crosse virus
(
biologicalAgentCarrier
LaCrosseVirus
Rodent
)
WMD.kif 1651-1651
Rodent
is a
biological
agent carrier of
la crosse virus
(
biologicalAgentCarrier
LassaVirus
Rodent
)
WMD.kif 1851-1851
Rodent
is a
biological
agent carrier of
lassa virus
(
biologicalAgentCarrier
MachupoVirus
Rodent
)
WMD.kif 1929-1929
Rodent
is a
biological
agent carrier of
machupo virus
(
biologicalAgentCarrier
MalarialPlasmodium
Mosquito
)
WMD.kif 1606-1606
Mosquito
is a
biological
agent carrier of
malarial plasmodium
(
biologicalAgentCarrier
MonkeypoxVirus
Mammal
)
WMD.kif 1227-1227
Mammal
is a
biological
agent carrier of
monkeypox virus
(
biologicalAgentCarrier
Myxomatosis
Rodent
)
WMD.kif 1395-1395
Rodent
is a
biological
agent carrier of
Myxomatosis
(
biologicalAgentCarrier
RickettsiaProwazekii
Arthropod
)
WMD.kif 267-267
Arthropod
is a
biological
agent carrier of
rickettsia prowazekii
(
biologicalAgentCarrier
RickettsiaRickettsii
Arthropod
)
WMD.kif 253-253
Arthropod
is a
biological
agent carrier of
rickettsia rickettsii
(
biologicalAgentCarrier
RickettsialAgent
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 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 3.0 is
open source software
produced by
Articulate Software
and its partners