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
O argumento numero 1 de
biologicalAgentCarrier
e' uma
sub
-classe de
BiologicalAgent
No TPTP formula. May not be expressible in strict first order.
WMD.kif 971-971
O argumento numero 2 de
biologicalAgentCarrier
e' uma
sub
-classe de
Organismo
No TPTP formula. May not be expressible in strict first order.
WMD.kif 969-969
biologicalAgentCarrier
e' uma
instancia
de
Predicado Binario
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
biologicalAgentCarrier
BiologicalAgent
and
Organismo
Organismo
e' uma
sub
-classe de
Organismo
biologicalAgentCarrier
BiologicalAgent
and
Organismo
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2007-2009
biologicalAgentCarrier
BiologicalAgent
and
Organismo
BiologicalAgent
e'
igual
a
InfectionFn
Organismo
consequent
No TPTP formula. May not be expressible in strict first order.
WMD.kif 976-980
biologicalAgentCarrier
BiologicalAgent
and
Organismo
Organismo
e' uma
sub
-classe de
Organismo
biologicalAgentCarrier
BiologicalAgent
and
Organismo
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2003-2005
BiologicalAgent
e'
igual
a
InfectionFn
Organismo
biologicalAgentCarrier
BiologicalAgent
and
Organismo
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
WMD.kif 285-285
biologicalAgentCarrier
BacillusAnthracis
and
Ungulado
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1586-1586
biologicalAgentCarrier
BordetellaPertussis
and
Humano
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1429-1429
biologicalAgentCarrier
Borrelia
and
Louse
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1428-1428
biologicalAgentCarrier
Borrelia
and
Tick
No TPTP formula. May not be expressible in strict first order.
WMD.kif 356-356
biologicalAgentCarrier
BurkholderiaMallei
and
Mamifero
No TPTP formula. May not be expressible in strict first order.
WMD.kif 372-372
biologicalAgentCarrier
BurkholderiaPseudomallei
and
Mamifero
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1597-1597
biologicalAgentCarrier
ChlamydiaPsittaci
and
Passaro
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1470-1470
biologicalAgentCarrier
Conotoxin
and
Molusco
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1919-1919
biologicalAgentCarrier
CrimeanCongoHemorrhagicFeverVirus
and
Aracnideo
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1638-1638
biologicalAgentCarrier
DengueFeverVirus
and
Mosquito
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1689-1689
biologicalAgentCarrier
EasternEquineEncephalitisVirus
and
Mosquito
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1205-1205
biologicalAgentCarrier
FrancisellaTularensis
and
Aracnideo
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1204-1204
biologicalAgentCarrier
FrancisellaTularensis
and
Roedor
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1365-1365
biologicalAgentCarrier
GiardiaLamblia
and
Roedor
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1524-1524
biologicalAgentCarrier
HerpesBVirus
and
Macaco
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1703-1703
biologicalAgentCarrier
JapaneseEncephalitisVirus
and
Mosquito
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1925-1925
biologicalAgentCarrier
JuninVirus
and
Roedor
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1659-1659
biologicalAgentCarrier
LaCrosseVirus
and
Mosquito
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1660-1660
biologicalAgentCarrier
LaCrosseVirus
and
Roedor
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1860-1860
biologicalAgentCarrier
LassaVirus
and
Roedor
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1938-1938
biologicalAgentCarrier
MachupoVirus
and
Roedor
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1615-1615
biologicalAgentCarrier
MalarialPlasmodium
and
Mosquito
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1235-1235
biologicalAgentCarrier
MonkeypoxVirus
and
Mamifero
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1404-1404
biologicalAgentCarrier
Myxomatosis
and
Roedor
No TPTP formula. May not be expressible in strict first order.
WMD.kif 267-267
biologicalAgentCarrier
RickettsiaProwazekii
and
Artropode
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