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
hasExpertise
Sigma KEE - hasExpertise
hasExpertise
appearance as argument number 1
(
documentation
hasExpertise
EnglishLanguage
"(
hasExpertise
?PERSON ?FIELD) means that ?PERSON has studied the
FieldOfStudy
?FIELD and is regarded as an expert.")
Mid-level-ontology.kif 21351-21352
(
domain
hasExpertise
1
Human
)
Mid-level-ontology.kif 21349-21349
The number 1 argument of
has expertise
is an
instance
of
human
(
domainSubclass
hasExpertise
2
FieldOfStudy
)
Mid-level-ontology.kif 21350-21350
The number 2 argument of
has expertise
is a
subclass
of
field of study
(
instance
hasExpertise
BinaryPredicate
)
Mid-level-ontology.kif 21348-21348
has expertise
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
hasExpertise
"%2 %p{有} %n{没有} 在 %1 的专业知识")
domainEnglishFormat.kif 1141-1141
(
format
ChineseTraditionalLanguage
hasExpertise
"%2 %p{有} %n{沒有} 在 %1 的專業知識")
domainEnglishFormat.kif 1140-1140
(
format
EnglishLanguage
hasExpertise
"%2 %p{has} %n{does not have} an expertise in %1")
domainEnglishFormat.kif 1139-1139
(
termFormat
ChineseLanguage
hasExpertise
"有专业知识")
domainEnglishFormat.kif 27522-27522
(
termFormat
ChineseTraditionalLanguage
hasExpertise
"有專業知識")
domainEnglishFormat.kif 27521-27521
(
termFormat
EnglishLanguage
hasExpertise
"has expertise")
domainEnglishFormat.kif 27520-27520
antecedent
(=>
(
hasExpertise
?H
Architecture
)
(
exists
(?D ?P ?B)
(
and
(
instance
?D
ContentDevelopment
)
(
agent
?D ?H)
(
result
?D ?P)
(
instance
?P
Blueprint
)
(
represents
?P ?B)
(
instance
?B
Building
))))
Mid-level-ontology.kif 21183-21192
If
architecture
has an expertise in
a human
,
then there exist
a process
,
an entity
and
another entity
such that
the process
is an
instance
of
content development
and
the human
is an
agent
of
the process
and
the entity
is a
result
of
the process
and
the entity
is an
instance
of
blueprint
and
the entity
express
es
the other entity
and
the other entity
is an
instance
of
building
(=>
(
hasExpertise
?PERSON ?FIELD)
(
exists
(?LEARN ?SPECIALITY)
(
and
(
instance
?LEARN
Learning
)
(
agent
?LEARN ?PERSON)
(
instance
?SPECIALITY ?FIELD)
(
realization
?LEARN ?SPECIALITY))))
Mid-level-ontology.kif 21354-21361
If
a kind of field of study
has an expertise in
a human
,
then there exist
a process
and
a proposition
such that
the process
is an
instance
of
learning
and
the human
is an
agent
of
the process
and
the proposition
is an
instance
of
a kind of field of study
and
the process
express
es the content of
the proposition
consequent
(=>
(
and
(
or
(
instance
?ROLE
OccupationalTrade
)
(
instance
?ROLE
Profession
))
(
holdsDuring
?T1
(
attribute
?HUMAN ?ROLE)))
(
exists
(?FIELD)
(
and
(
subclass
?FIELD
FieldOfStudy
)
(
holdsDuring
?T1
(
hasExpertise
?HUMAN ?FIELD)))))
Mid-level-ontology.kif 8293-8302
If
an entity
is an
instance
of
occupational trade
or
the entity
is an
instance
of
profession
and
the entity
is an
attribute
of
another entity
holds
during
a time position
,
then there exists
a class
such that
the class
is a
subclass
of
field of study
and
the class
has an expertise in
the other entity
holds
during
the time position
(=>
(
attribute
?P
Lawyer
)
(
hasExpertise
?P
FieldOfLaw
))
Mid-level-ontology.kif 20973-20975
If
lawyer
is an
attribute
of
a human
,
then
field of law
has an expertise in
the human
(=>
(
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
(=>
(
attribute
?PERSON
Actuary
)
(
hasExpertise
?PERSON
ActuaryScience
))
Biography.kif 357-359
If
actuary
is an
attribute
of
a human
,
then
actuarial science
has an expertise in
the human
(=>
(
attribute
?PERSON
Anthropologist
)
(
hasExpertise
?PERSON
Anthropology
))
Biography.kif 365-367
If
anthropologist
is an
attribute
of
a human
,
then
anthropology
has an expertise in
the human
(=>
(
attribute
?PERSON
Archeologist
)
(
hasExpertise
?PERSON
Archeology
))
Biography.kif 373-375
If
archeologist
is an
attribute
of
a human
,
then
archeology
has an expertise in
the human
(=>
(
attribute
?PERSON
Architect
)
(
hasExpertise
?PERSON
Architecture
))
Biography.kif 380-382
If
architect
is an
attribute
of
a human
,
then
architecture
has an expertise in
the human
(=>
(
attribute
?PERSON
Astronomer
)
(
hasExpertise
?PERSON
Astronomy
))
Biography.kif 388-390
If
astronomer
is an
attribute
of
a human
,
then
astronomy
has an expertise in
the human
(=>
(
attribute
?PERSON
Biologist
)
(
hasExpertise
?PERSON
Biology
))
Biography.kif 396-398
If
biologist
is an
attribute
of
a human
,
then
biology
has an expertise in
the human
(=>
(
attribute
?PERSON
Botanist
)
(
hasExpertise
?PERSON
Botany
))
Biography.kif 617-619
If
botanist
is an
attribute
of
a human
,
then
botany
has an expertise in
the human
(=>
(
attribute
?PERSON
Chemist
)
(
hasExpertise
?PERSON
Chemistry
))
Biography.kif 404-406
If
chemist
is an
attribute
of
a human
,
then
chemistry
has an expertise in
the human
(=>
(
attribute
?PERSON
ComputerScientist
)
(
hasExpertise
?PERSON
ComputerScience
))
Biography.kif 412-414
If
computer scientist
is an
attribute
of
a human
,
then
computer science
has an expertise in
the human
(=>
(
attribute
?PERSON
Economist
)
(
hasExpertise
?PERSON
Economics
))
Biography.kif 420-422
If
economist
is an
attribute
of
a human
,
then
economics
has an expertise in
the human
(=>
(
attribute
?PERSON
Engineer
)
(
hasExpertise
?PERSON
Engineering
))
Biography.kif 427-429
If
engineer
is an
attribute
of
a human
,
then
engineering
has an expertise in
the human
(=>
(
attribute
?PERSON
Geographer
)
(
hasExpertise
?PERSON
Geography
))
Biography.kif 471-473
If
geographer
is an
attribute
of
a human
,
then
geography
has an expertise in
the human
(=>
(
attribute
?PERSON
Geologist
)
(
hasExpertise
?PERSON
Geology
))
Biography.kif 479-481
If
geologist
is an
attribute
of
a human
,
then
geology
has an expertise in
the human
(=>
(
attribute
?PERSON
Historian
)
(
hasExpertise
?PERSON
History
))
Biography.kif 486-488
If
historian
is an
attribute
of
a human
,
then
history
has an expertise in
the human
(=>
(
attribute
?PERSON
Librarian
)
(
hasExpertise
?PERSON
LibraryScience
))
Biography.kif 564-566
If
librarian
is an
attribute
of
a human
,
then
Library Science
has an expertise in
the human
(=>
(
attribute
?PERSON
Linguist
)
(
hasExpertise
?PERSON
Linguistics
))
Biography.kif 494-496
If
linguist
is an
attribute
of
a human
,
then
linguistics
has an expertise in
the human
(=>
(
attribute
?PERSON
Mathematician
)
(
hasExpertise
?PERSON
Mathematics
))
Biography.kif 501-503
If
mathematician
is an
attribute
of
a human
,
then
mathematics
has an expertise in
the human
(=>
(
attribute
?PERSON
MedicalResearcher
)
(
and
(
attribute
?PERSON
Researcher
)
(
hasExpertise
?PERSON
MedicalScience
)))
Biography.kif 509-513
If
medical researcher
is an
attribute
of
a human
,
then
researcher
is an
attribute
of
the human
and
medical science
has an expertise in
the human
(=>
(
attribute
?PERSON
Paleontologist
)
(
hasExpertise
?PERSON
Paleontology
))
Biography.kif 519-521
If
paleontologist
is an
attribute
of
a human
,
then
paleontology
has an expertise in
the human
(=>
(
attribute
?PERSON
Philosopher
)
(
hasExpertise
?PERSON
Philosophy
))
Biography.kif 526-528
If
philosopher
is an
attribute
of
a human
,
then
philosophy
has an expertise in
the human
(=>
(
attribute
?PERSON
Physicist
)
(
hasExpertise
?PERSON
Physics
))
Biography.kif 548-550
If
physicist
is an
attribute
of
a human
,
then
physics
has an expertise in
the human
(=>
(
attribute
?PERSON
PoliticalScientist
)
(
hasExpertise
?PERSON
PoliticalScience
))
Biography.kif 556-558
If
political scientist
is an
attribute
of
a human
,
then
political science
has an expertise in
the human
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