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
No TPTP formula. May not be expressible in strict first order.
WMD.kif 972-974
No TPTP formula. May not be expressible in strict first order.
WMD.kif 970-970
The number 1 argument of
biological agent carrier
is a
subclass
of
biological agent
No TPTP formula. May not be expressible in strict first order.
WMD.kif 971-971
The number 2 argument of
biological agent carrier
is a
subclass
of
organism
No TPTP formula. May not be expressible in strict first order.
WMD.kif 969-969
biological agent carrier
is an
instance
of
binary predicate
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 304-304
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 303-303
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 302-302
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 11099-11099
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 11098-11098
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 11097-11097
antecedent
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
WMD.kif 285-285
Hoofed mammal
is a
biological
agent carrier of
bacillus anthracis
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1586-1586
Human
is a
biological
agent carrier of
bordetella pertussis
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1429-1429
Lice
is a
biological
agent carrier of
borrelia
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1428-1428
Tick
is a
biological
agent carrier of
borrelia
No TPTP formula. May not be expressible in strict first order.
WMD.kif 356-356
Mammal
is a
biological
agent carrier of
burkholderia mallei
No TPTP formula. May not be expressible in strict first order.
WMD.kif 372-372
Mammal
is a
biological
agent carrier of
burkholderia pseudomallei
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1597-1597
Bird
is a
biological
agent carrier of
chlamydia psittaci
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1470-1470
Mollusk
is a
biological
agent carrier of
conotoxin
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1919-1919
Arachnid
is a
biological
agent carrier of
crimean congo hemorrhagic fever virus
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1638-1638
Mosquito
is a
biological
agent carrier of
dengue fever virus
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1689-1689
Mosquito
is a
biological
agent carrier of
eastern equine encephalitis virus
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1205-1205
Arachnid
is a
biological
agent carrier of
francisella tularensis
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1204-1204
Rodent
is a
biological
agent carrier of
francisella tularensis
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1365-1365
Rodent
is a
biological
agent carrier of
giardia lamblia
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1524-1524
Monkey
is a
biological
agent carrier of
herpesB virus
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1703-1703
Mosquito
is a
biological
agent carrier of
japanese encephalitis virus
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1925-1925
Rodent
is a
biological
agent carrier of
junin virus
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1659-1659
Mosquito
is a
biological
agent carrier of
la crosse virus
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1660-1660
Rodent
is a
biological
agent carrier of
la crosse virus
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1860-1860
Rodent
is a
biological
agent carrier of
lassa virus
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1938-1938
Rodent
is a
biological
agent carrier of
machupo virus
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1615-1615
Mosquito
is a
biological
agent carrier of
malarial plasmodium
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1235-1235
Mammal
is a
biological
agent carrier of
monkeypox virus
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1404-1404
Rodent
is a
biological
agent carrier of
myxomatosis
No TPTP formula. May not be expressible in strict first order.
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