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
diseaseSymptom
Sigma KEE - diseaseSymptom
diseaseSymptom
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
WMD.kif 872-875
No TPTP formula. May not be expressible in strict first order.
WMD.kif 870-870
Le nombre 1 argument de
diseaseSymptom
est une
instance
de
maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.
WMD.kif 871-871
Le nombre 2 argument de
diseaseSymptom
est une
instance
de
maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.
WMD.kif 869-869
diseaseSymptom
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 776-776
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 775-775
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 774-774
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6545-6545
pathologicSymptom
est
reli
� � l'int�rieur de SUMO �
diseaseSymptom
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19818-19818
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19817-19817
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19816-19816
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 877-882
diseaseSymptom
maladie ou syndrome
and
maladie ou syndrome
entit�
maladie ou syndrome
est un
attribut
de
entit�
augmente
la probabilit� de
maladie ou syndrome
est un
attribut
de
entit�
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1932-1932
diseaseSymptom
ArgentinianHemorrhagicFever
and
Fever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1944-1944
diseaseSymptom
BolivianHemorrhagicFever
and
Fever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 335-335
diseaseSymptom
Botulism
and
Paralysis
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1964-1964
diseaseSymptom
BrazilianHemorrhagicFever
and
Fever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 394-394
diseaseSymptom
Brucellosis
and
Fever
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 1246-1246
diseaseSymptom
Covid19
and
Diarrhea
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 1245-1245
diseaseSymptom
Covid19
and
Fever
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 1247-1247
diseaseSymptom
Covid19
and
RespiratoryDistress
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1912-1912
diseaseSymptom
CrimeanCongoHemorrhagicFever
and
Fever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1904-1904
diseaseSymptom
Diphtheria
and
Fever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1698-1698
diseaseSymptom
EasternEquineEncephalitis
and
Fever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 365-365
diseaseSymptom
Glanders
and
Fever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1788-1788
diseaseSymptom
HepatitisA
and
Fever
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4937-4937
diseaseSymptom
Hyperferritinemia
and
Inflammation
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1449-1449
diseaseSymptom
Influenza
and
Fever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1865-1865
diseaseSymptom
LassaFever
and
Fever
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1425-1425
diseaseSymptom
LymeDisease
and
SkinRash
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1609-1609
diseaseSymptom
Malaria
and
Fever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1463-1463
diseaseSymptom
ParalyticShellfishPoisoning
and
Paralysis
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4258-4258
diseaseSymptom
ParkinsonsDisease
and
ImpairmentFn
marcher
No TPTP formula. May not be expressible in strict first order.
WMD.kif 413-413
diseaseSymptom
Plague
and
Fever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1163-1163
diseaseSymptom
QFever
and
Fever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1424-1424
diseaseSymptom
RiftValleyFever
and
Fever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1823-1823
diseaseSymptom
RotavirusGastroenteritis
and
Fever
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1683-1683
diseaseSymptom
SaintLouisEncephalitis
and
Fever
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