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
biochemicalAgentSyndrome
Sigma KEE - biochemicalAgentSyndrome
biochemicalAgentSyndrome
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
WMD.kif 763-765
No TPTP formula. May not be expressible in strict first order.
WMD.kif 762-762
O argumento numero 2 de
biochemicalAgentSyndrome
e' uma
instancia
de
Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.
WMD.kif 761-761
O argumento numero 1 de
biochemicalAgentSyndrome
e' uma
sub
-classe de
BiochemicalAgent
No TPTP formula. May not be expressible in strict first order.
WMD.kif 760-760
biochemicalAgentSyndrome
e' uma
instancia
de
Predicado Binario
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 296-296
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 295-295
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 294-294
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 11045-11045
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 11044-11044
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 11043-11043
antecedent
No TPTP formula. May not be expressible in strict first order.
WMD.kif 775-779
biochemicalAgentSyndrome
BiochemicalAgent
and
Doenca ou Sindrome
diseaseSymptom
Doenca ou Sindrome
and
Doenca ou Sindrome
biochemicalAgentSyndrome
BiochemicalAgent
and
Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1124-1129
Entidade
e' uma
instancia
de
BacterialAgent
Entidade
e' uma
instancia
de
BiochemicalAgent
biochemicalAgentSyndrome
BiochemicalAgent
and
Doenca ou Sindrome
Doenca ou Sindrome
e' uma
instancia
de
BacterialDisease
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1035-1040
Doenca ou Sindrome
e' uma
instancia
de
LifeThreateningDisease
Entidade
e' uma
instancia
de
BiochemicalAgent
biochemicalAgentSyndrome
BiochemicalAgent
and
Doenca ou Sindrome
Entidade
e' uma
instancia
de
LifeThreateningAgent
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1131-1136
Entidade
e' uma
instancia
de
ViralAgent
Entidade
e' uma
instancia
de
BiochemicalAgent
biochemicalAgentSyndrome
BiochemicalAgent
and
Doenca ou Sindrome
Doenca ou Sindrome
e' uma
instancia
de
ViralDisease
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1773-1775
biochemicalAgentSyndrome
HepatitisVirus
and
Doenca ou Sindrome
Doenca ou Sindrome
e' uma
instancia
de
Hepatitis
consequent
No TPTP formula. May not be expressible in strict first order.
WMD.kif 775-779
biochemicalAgentSyndrome
BiochemicalAgent
and
Doenca ou Sindrome
diseaseSymptom
Doenca ou Sindrome
and
Doenca ou Sindrome
biochemicalAgentSyndrome
BiochemicalAgent
and
Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.
WMD.kif 2029-2034
BiochemicalAgent
e' uma
sub
-classe de
TickBorneEncephalitisVirus
Doenca ou Sindrome
Doenca ou Sindrome
e' uma
instancia
de
TickBorneEncephalitis
biochemicalAgentSyndrome
BiochemicalAgent
and
Doenca ou Sindrome
statement
No TPTP formula. May not be expressible in strict first order.
WMD.kif 921-929
biochemicalAgentSyndrome
?AGENT and ?SYMPTOM
biochemicalAgentAntidote
?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE e' uma
instancia
de ?SUBSTANCE ?THERAPY e' uma
instancia
de ?PROCESS ?ORGANISM
experimenta
?THERAPY ?SAMPLE e' um
patient
de ?THERAPY
diminui
a probabilidade de ?SYMPTOM e' um
atributo
de ?ORGANISM
No TPTP formula. May not be expressible in strict first order.
WMD.kif 767-773
biochemicalAgentSyndrome
?AGENT and ?SYMPTOM
biochemicalAgentDelivery
?AGENT and ?PROCESSTYPE ?PROCESS e' uma
instancia
de ?PROCESSTYPE ?ORGANISM
experimenta
?PROCESS
aumenta
a probabilidade de ?SYMPTOM e' um
atributo
de ?ORGANISM
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
WMD.kif 293-293
biochemicalAgentSyndrome
AerosolizedBacillusAnthracis
and
InhalationalAnthrax
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1829-1829
biochemicalAgentSyndrome
Aflatoxin
and
Aflatoxicosis
No TPTP formula. May not be expressible in strict first order.
WMD.kif 280-280
biochemicalAgentSyndrome
BacillusAnthracis
and
Anthrax
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1587-1587
biochemicalAgentSyndrome
BordetellaPertussis
and
Pertussis
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1422-1422
biochemicalAgentSyndrome
Borrelia
and
LymeDisease
No TPTP formula. May not be expressible in strict first order.
WMD.kif 327-327
biochemicalAgentSyndrome
BotulinumToxin
and
Botulism
No TPTP formula. May not be expressible in strict first order.
WMD.kif 387-387
biochemicalAgentSyndrome
BrucellaBacterium
and
Brucellosis
No TPTP formula. May not be expressible in strict first order.
WMD.kif 358-358
biochemicalAgentSyndrome
BurkholderiaMallei
and
Glanders
No TPTP formula. May not be expressible in strict first order.
WMD.kif 376-376
biochemicalAgentSyndrome
BurkholderiaPseudomallei
and
Melioidosis
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1596-1596
biochemicalAgentSyndrome
ChlamydiaPsittaci
and
Psittacosis
No TPTP formula. May not be expressible in strict first order.
WMD.kif 614-614
biochemicalAgentSyndrome
Chloropicrin
and
Gastroenteritis
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1508-1508
biochemicalAgentSyndrome
ClostridiumTetani
and
Tetanus
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1398-1398
biochemicalAgentSyndrome
CoccidiodesPosadasii
and
RiftValleyFever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1386-1386
biochemicalAgentSyndrome
CoccidioidesImmitis
and
RiftValleyFever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1471-1471
biochemicalAgentSyndrome
Conotoxin
and
ParalyticShellfishPoisoning
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1897-1897
biochemicalAgentSyndrome
CorynebacteriumDiphtheriae
and
Diphtheria
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1249-1249
biochemicalAgentSyndrome
CoxiellaBurnetii
and
QFever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1920-1920
biochemicalAgentSyndrome
CrimeanCongoHemorrhagicFeverVirus
and
CrimeanCongoHemorrhagicFever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1639-1639
biochemicalAgentSyndrome
DengueFeverVirus
and
DengueFever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1640-1640
biochemicalAgentSyndrome
DengueFeverVirus
and
DengueHemorrhagicFever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1691-1691
biochemicalAgentSyndrome
EasternEquineEncephalitisVirus
and
EasternEquineEncephalitis
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1196-1196
biochemicalAgentSyndrome
EbolaVirus
and
EbolaHemorrhagicFever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1206-1206
biochemicalAgentSyndrome
FrancisellaTularensis
and
Tularemia
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1364-1364
biochemicalAgentSyndrome
GiardiaLamblia
and
Gastroenteritis
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1950-1950
biochemicalAgentSyndrome
GuanaritoVirus
and
VenezuelanHemorrhagicFever
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