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 10191-10191
(
subclass
Clotting
OrganOrTissueProcess
)
Mid-level-ontology.kif 10486-10486
(
subclass
MuscularContraction
OrganOrTissueProcess
)
Mid-level-ontology.kif 10528-10528
(
subclass
MuscleRelaxing
OrganOrTissueProcess
)
Mid-level-ontology.kif 10550-10550
(
subclass
HeartBeat
OrganOrTissueProcess
)
Mid-level-ontology.kif 10714-10714
(
subclass
Sunburn
OrganOrTissueProcess
)
Mid-level-ontology.kif 10999-10999
(
subclass
Tanning
OrganOrTissueProcess
)
Mid-level-ontology.kif 11016-11016
(
subclass
Ossification
OrganOrTissueProcess
)
Mid-level-ontology.kif 11539-11539
(
subclass
Inflammation
OrganOrTissueProcess
)
Mid-level-ontology.kif 12384-12384
(
subclass
Menstruation
OrganOrTissueProcess
)
Mid-level-ontology.kif 23871-23871
(
subclass
Fertilisation
OrganOrTissueProcess
)
Mid-level-ontology.kif 23963-23963
(
subclass
Organification
OrganOrTissueProcess
)
Mid-level-ontology.kif 24029-24029
(
subclass
BiologicalConception
OrganOrTissueProcess
)
Mid-level-ontology.kif 24040-24040
(
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