Term Intersection
: 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
Term 1:
Term 2:
(
subclass
OrganOrTissueProcess
AutonomicProcess
)
Merge.kif 10169-10169
(
subclass
Clotting
OrganOrTissueProcess
)
Mid-level-ontology.kif 10487-10487
(
subclass
MuscularContraction
OrganOrTissueProcess
)
Mid-level-ontology.kif 10529-10529
(
subclass
MuscleRelaxing
OrganOrTissueProcess
)
Mid-level-ontology.kif 10551-10551
(
subclass
HeartBeat
OrganOrTissueProcess
)
Mid-level-ontology.kif 10715-10715
(
subclass
Sunburn
OrganOrTissueProcess
)
Mid-level-ontology.kif 11000-11000
(
subclass
Tanning
OrganOrTissueProcess
)
Mid-level-ontology.kif 11017-11017
(
subclass
Ossification
OrganOrTissueProcess
)
Mid-level-ontology.kif 11540-11540
(
subclass
Inflammation
OrganOrTissueProcess
)
Mid-level-ontology.kif 12385-12385
(
subclass
Menstruation
OrganOrTissueProcess
)
Mid-level-ontology.kif 23872-23872
(
subclass
Fertilisation
OrganOrTissueProcess
)
Mid-level-ontology.kif 23964-23964
(
subclass
Organification
OrganOrTissueProcess
)
Mid-level-ontology.kif 24030-24030
(
subclass
BiologicalConception
OrganOrTissueProcess
)
Mid-level-ontology.kif 24041-24041
(
subclass
Tachycardia
OrganOrTissueProcess
)
Medicine.kif 2809-2809
(
subclass
Bradycardia
OrganOrTissueProcess
)
Medicine.kif 2829-2829
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