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
medicine
Sigma KEE - medicine
medicine
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 9642-9648
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 9641-9641
域
medicine
, 2 and
DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 9640-9640
域子類
medicine
, 1 and
醫學
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 9639-9639
例
medicine
and
BinaryPredicate
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 9650-9650
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 9649-9649
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 9652-9665
medicine
醫學
and
DiseaseOrSyndrome
DiseaseOrSyndrome
OC
例
DiseaseOrSyndrome
OC and
醫生
相信
DiseaseOrSyndrome
OC and
entity
entity
and
entity
例
entity
and
醫學
例
entity
and
TherapeuticProcess
例
entity
and
Human
DiseaseOrSyndrome
OC 是
entity
的
patient
醫療
資源
entity
and
entity
好處
entity
and
entity
consequent
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 1258-1265
例
Entity
and
AntiViralMedicine
例
Entity
and
醫學
DiseaseOrSyndrome
例
DiseaseOrSyndrome
and
病毒性疾病
medicine
醫學
and
DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 9683-9688
例
Entity
and
Antiparasitic
DiseaseOrSyndrome
Entity
VM
例
DiseaseOrSyndrome
and
ParasiticDisease
medicine
Entity
VM and
DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 9671-9676
子類
醫學
and
抗生素
DiseaseOrSyndrome
例
DiseaseOrSyndrome
and
細菌性疾病
medicine
醫學
and
DiseaseOrSyndrome
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6359-6359
medicine
Adrenaline
and
Analphylaxis
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 9693-9693
medicine
Antidepressant
and
Depression
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 1270-1270
medicine
Remdesivir
and
Covid19
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3246-3246
medicine
Singulair
and
Asthma
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3310-3310
medicine
Vyvanse
and
ADHD
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