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
Le nombre 2 argument de
biochemicalAgentSyndrome
est une
instance
de
maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.
WMD.kif 761-761
Le nombre 1 argument de
biochemicalAgentSyndrome
est une
sous
-classe de
BiochemicalAgent
No TPTP formula. May not be expressible in strict first order.
WMD.kif 760-760
biochemicalAgentSyndrome
est une
instance
de
pr�dicat binaire
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
maladie ou syndrome
diseaseSymptom
maladie ou syndrome
and
maladie ou syndrome
biochemicalAgentSyndrome
BiochemicalAgent
and
maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1124-1129
Entit�
est une
instance
de
BacterialAgent
entit�
est une
instance
de
BiochemicalAgent
biochemicalAgentSyndrome
BiochemicalAgent
and
maladie ou syndrome
maladie ou syndrome
est une
instance
de
BacterialDisease
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1035-1040
Maladie ou syndrome
est une
instance
de
LifeThreateningDisease
entit�
est une
instance
de
BiochemicalAgent
biochemicalAgentSyndrome
BiochemicalAgent
and
maladie ou syndrome
entit�
est une
instance
de
LifeThreateningAgent
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1131-1136
Entit�
est une
instance
de
ViralAgent
entit�
est une
instance
de
BiochemicalAgent
biochemicalAgentSyndrome
BiochemicalAgent
and
maladie ou syndrome
maladie ou syndrome
est une
instance
de
ViralDisease
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1773-1775
biochemicalAgentSyndrome
HepatitisVirus
and
maladie ou syndrome
maladie ou syndrome
est une
instance
de
Hepatitis
consequent
No TPTP formula. May not be expressible in strict first order.
WMD.kif 775-779
biochemicalAgentSyndrome
BiochemicalAgent
and
maladie ou syndrome
diseaseSymptom
maladie ou syndrome
and
maladie ou syndrome
biochemicalAgentSyndrome
BiochemicalAgent
and
maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.
WMD.kif 2029-2034
BiochemicalAgent
est une
sous
-classe de
TickBorneEncephalitisVirus
maladie ou syndrome
maladie ou syndrome
est une
instance
de
TickBorneEncephalitis
biochemicalAgentSyndrome
BiochemicalAgent
and
maladie ou syndrome
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 est une
instance
de ?SUBSTANCE ?THERAPY est une
instance
de ?PROCESS ?ORGANISM
exp
�rimente ?THERAPY ?SAMPLE est un
patient
de ?THERAPY
diminue
la probabilit� de ?SYMPTOM est un
attribut
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 est une
instance
de ?PROCESSTYPE ?ORGANISM
exp
�rimente ?PROCESS
augmente
la probabilit� de ?SYMPTOM est un
attribut
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