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:
(=>
(
attribute
?P
Researcher
)
(
exists
(?S)
(
and
(
subclass
?S
Science
)
(
hasExpertise
?P ?S))))
Mid-level-ontology.kif 18896-18901
If
researcher
is an
attribute
of
a human
,
then there exists
a kind of field of study
such that
a kind of field of study
is a
subclass
of
science
and
the kind of field of study
has an expertise in
the human
(
subclass
Science
FieldOfStudy
)
Mid-level-ontology.kif 21122-21122
Science
is a
subclass
of
field of study
(
subclass
SocialScience
Science
)
Mid-level-ontology.kif 21126-21126
Social science
is a
subclass
of
science
(
subclass
ActuaryScience
Science
)
Mid-level-ontology.kif 21137-21137
Actuarial science
is a
subclass
of
science
(
subclass
Astronomy
Science
)
Mid-level-ontology.kif 21194-21194
Astronomy
is a
subclass
of
science
(
subclass
ComputerScience
Science
)
Mid-level-ontology.kif 21199-21199
Computer science
is a
subclass
of
science
(
subclass
Geography
Science
)
Mid-level-ontology.kif 21206-21206
Geography
is a
subclass
of
science
(
subclass
Cartography
Science
)
Mid-level-ontology.kif 21211-21211
Cartography
is a
subclass
of
science
(
subclass
Geology
Science
)
Mid-level-ontology.kif 21214-21214
Geology
is a
subclass
of
science
(
subclass
LibraryScience
Science
)
Mid-level-ontology.kif 21218-21218
Library Science
is a
subclass
of
science
(
subclass
Biology
Science
)
Mid-level-ontology.kif 21232-21232
Biology
is a
subclass
of
science
(
subclass
Physiology
Science
)
Mid-level-ontology.kif 21237-21237
Physiology
is a
subclass
of
science
(
subclass
MedicalScience
Science
)
Mid-level-ontology.kif 21242-21242
Medical science
is a
subclass
of
science
(
subclass
VeterinaryScience
Science
)
Mid-level-ontology.kif 21246-21246
Veterinary medicine
is a
subclass
of
science
(
subclass
Botany
Science
)
Mid-level-ontology.kif 21252-21252
Botany
is a
subclass
of
science
(
subclass
Zoology
Science
)
Mid-level-ontology.kif 21257-21257
Zoology
is a
subclass
of
science
(
subclass
NaturalSciences
Science
)
Mid-level-ontology.kif 21262-21262
Natural sciences
is a
subclass
of
science
(
subclass
Biochemistry
Science
)
Mid-level-ontology.kif 21264-21264
Biochemistry
is a
subclass
of
science
(
subclass
Chemistry
Science
)
Mid-level-ontology.kif 21265-21265
Chemistry
is a
subclass
of
science
(
subclass
Paleontology
Science
)
Mid-level-ontology.kif 21269-21269
Paleontology
is a
subclass
of
science
(
subclass
Physics
Science
)
Mid-level-ontology.kif 21272-21272
Physics
is a
subclass
of
science
(
subclass
Engineering
Science
)
Mid-level-ontology.kif 21275-21275
Engineering
is a
subclass
of
science
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