Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
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 972-974
(
domainSubclass
biologicalAgentCarrier
1
BiologicalAgent
)
WMD.kif 970-970
The number 1 argument of
biological agent carrier
is a
subclass
of
biological agent
(
domainSubclass
biologicalAgentCarrier
2
Organism
)
WMD.kif 971-971
The number 2 argument of
biological agent carrier
is a
subclass
of
organism
(
instance
biologicalAgentCarrier
BinaryPredicate
)
WMD.kif 969-969
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 11099-11099
(
termFormat
ChineseTraditionalLanguage
biologicalAgentCarrier
"生物製劑載體")
domainEnglishFormat.kif 11098-11098
(
termFormat
EnglishLanguage
biologicalAgentCarrier
"biological agent carrier")
domainEnglishFormat.kif 11097-11097
antecedent
(=>
(
and
(
biologicalAgentCarrier
?AGENT ?ORGANISM)
(
subclass
?SUB ?ORGANISM))
(
biologicalAgentCarrier
?AGENT ?SUB))
WMD.kif 976-980
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
(=>
(
biologicalAgentCarrier
?ID ?M)
(
equal
?ID
(
InfectionFn
?M)))
Medicine.kif 2007-2009
If
a kind of organism
is a
biological
agent carrier of
a kind of biological agent
,
then
a kind of biological agent
is
equal
to
InfectionFn
a kind of organism
consequent
(=>
(
and
(
biologicalAgentCarrier
?AGENT ?ORGANISM)
(
subclass
?SUB ?ORGANISM))
(
biologicalAgentCarrier
?AGENT ?SUB))
WMD.kif 976-980
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
(=>
(
equal
?ID
(
InfectionFn
?M))
(
biologicalAgentCarrier
?ID ?M))
Medicine.kif 2003-2005
If
a kind of biological agent
is
equal
to
InfectionFn
a kind of organism
,
then
a 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 1586-1586
Human
is a
biological
agent carrier of
bordetella pertussis
(
biologicalAgentCarrier
Borrelia
Louse
)
Medicine.kif 1429-1429
Lice
is a
biological
agent carrier of
borrelia
(
biologicalAgentCarrier
Borrelia
Tick
)
Medicine.kif 1428-1428
Tick
is a
biological
agent carrier of
borrelia
(
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 1597-1597
Bird
is a
biological
agent carrier of
chlamydia psittaci
(
biologicalAgentCarrier
Conotoxin
Mollusk
)
WMD.kif 1470-1470
Mollusk
is a
biological
agent carrier of
conotoxin
(
biologicalAgentCarrier
CrimeanCongoHemorrhagicFeverVirus
Arachnid
)
WMD.kif 1919-1919
Arachnid
is a
biological
agent carrier of
crimean congo hemorrhagic fever virus
(
biologicalAgentCarrier
DengueFeverVirus
Mosquito
)
WMD.kif 1638-1638
Mosquito
is a
biological
agent carrier of
dengue fever virus
(
biologicalAgentCarrier
EasternEquineEncephalitisVirus
Mosquito
)
WMD.kif 1689-1689
Mosquito
is a
biological
agent carrier of
eastern equine encephalitis virus
(
biologicalAgentCarrier
FrancisellaTularensis
Arachnid
)
WMD.kif 1205-1205
Arachnid
is a
biological
agent carrier of
francisella tularensis
(
biologicalAgentCarrier
FrancisellaTularensis
Rodent
)
WMD.kif 1204-1204
Rodent
is a
biological
agent carrier of
francisella tularensis
(
biologicalAgentCarrier
GiardiaLamblia
Rodent
)
WMD.kif 1365-1365
Rodent
is a
biological
agent carrier of
giardia lamblia
(
biologicalAgentCarrier
HerpesBVirus
Monkey
)
WMD.kif 1524-1524
Monkey
is a
biological
agent carrier of
herpesB virus
(
biologicalAgentCarrier
JapaneseEncephalitisVirus
Mosquito
)
WMD.kif 1703-1703
Mosquito
is a
biological
agent carrier of
japanese encephalitis virus
(
biologicalAgentCarrier
JuninVirus
Rodent
)
WMD.kif 1925-1925
Rodent
is a
biological
agent carrier of
junin virus
(
biologicalAgentCarrier
LaCrosseVirus
Mosquito
)
WMD.kif 1659-1659
Mosquito
is a
biological
agent carrier of
la crosse virus
(
biologicalAgentCarrier
LaCrosseVirus
Rodent
)
WMD.kif 1660-1660
Rodent
is a
biological
agent carrier of
la crosse virus
(
biologicalAgentCarrier
LassaVirus
Rodent
)
WMD.kif 1860-1860
Rodent
is a
biological
agent carrier of
lassa virus
(
biologicalAgentCarrier
MachupoVirus
Rodent
)
WMD.kif 1938-1938
Rodent
is a
biological
agent carrier of
machupo virus
(
biologicalAgentCarrier
MalarialPlasmodium
Mosquito
)
WMD.kif 1615-1615
Mosquito
is a
biological
agent carrier of
malarial plasmodium
(
biologicalAgentCarrier
MonkeypoxVirus
Mammal
)
WMD.kif 1235-1235
Mammal
is a
biological
agent carrier of
monkeypox virus
(
biologicalAgentCarrier
Myxomatosis
Rodent
)
WMD.kif 1404-1404
Rodent
is a
biological
agent carrier of
myxomatosis
(
biologicalAgentCarrier
RickettsiaProwazekii
Arthropod
)
WMD.kif 267-267
Arthropod
is a
biological
agent carrier of
rickettsia prowazekii
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