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
域
有專業知識
, 1 and
Human
(
domainSubclass
hasExpertise
2
FieldOfStudy
)
Mid-level-ontology.kif 21350-21350
域子類
有專業知識
, 2 and
FieldOfStudy
(
instance
hasExpertise
BinaryPredicate
)
Mid-level-ontology.kif 21348-21348
例
有專業知識
and
BinaryPredicate
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
建築
有 在
Human
的專業知識
Process
Entity
and
Entity
例
Process
and
ContentDevelopment
agent
Process
and
Human
結果
Process
and
Entity
例
Entity
and
藍圖
代表
Entity
and
Entity
例
Entity
and
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
FieldOfStudy
有 在
Human
的專業知識
Process
Proposition
例
Process
and
Learning
agent
Process
and
Human
例
Proposition
and
FieldOfStudy
實現
Process
and
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
例
Entity
and
職業貿易
例
Entity
and
職業
持有期間
TimePosition
and
attribute
entity
and
Entity
Class
子類
Class
and
FieldOfStudy
持有期間
TimePosition
and
Class
有 在
entity
的專業知識
(=>
(
attribute
?P
Lawyer
)
(
hasExpertise
?P
FieldOfLaw
))
Mid-level-ontology.kif 20973-20975
attribute
Human
and
Lawyer
法律領域
有 在
Human
的專業知識
(=>
(
attribute
?P
Researcher
)
(
exists
(?S)
(
and
(
subclass
?S
Science
)
(
hasExpertise
?P ?S))))
Mid-level-ontology.kif 18896-18901
attribute
Human
and
研究員
FieldOfStudy
子類
FieldOfStudy
and
科學
FieldOfStudy
有 在
Human
的專業知識
(=>
(
attribute
?PERSON
Actuary
)
(
hasExpertise
?PERSON
ActuaryScience
))
Biography.kif 357-359
attribute
Human
and
精算師
精算科學
有 在
Human
的專業知識
(=>
(
attribute
?PERSON
Anthropologist
)
(
hasExpertise
?PERSON
Anthropology
))
Biography.kif 365-367
attribute
Human
and
人類學家
人類學
有 在
Human
的專業知識
(=>
(
attribute
?PERSON
Archeologist
)
(
hasExpertise
?PERSON
Archeology
))
Biography.kif 373-375
attribute
Human
and
考古學家
Archeology
有 在
Human
的專業知識
(=>
(
attribute
?PERSON
Architect
)
(
hasExpertise
?PERSON
Architecture
))
Biography.kif 380-382
attribute
Human
and
建築師
建築
有 在
Human
的專業知識
(=>
(
attribute
?PERSON
Astronomer
)
(
hasExpertise
?PERSON
Astronomy
))
Biography.kif 388-390
attribute
Human
and
天文學家
天文學
有 在
Human
的專業知識
(=>
(
attribute
?PERSON
Biologist
)
(
hasExpertise
?PERSON
Biology
))
Biography.kif 396-398
attribute
Human
and
生物學家
生物學
有 在
Human
的專業知識
(=>
(
attribute
?PERSON
Botanist
)
(
hasExpertise
?PERSON
Botany
))
Biography.kif 617-619
attribute
Human
and
植物學家
植物學
有 在
Human
的專業知識
(=>
(
attribute
?PERSON
Chemist
)
(
hasExpertise
?PERSON
Chemistry
))
Biography.kif 404-406
attribute
Human
and
化學家
化學
有 在
Human
的專業知識
(=>
(
attribute
?PERSON
ComputerScientist
)
(
hasExpertise
?PERSON
ComputerScience
))
Biography.kif 412-414
attribute
Human
and
電腦科學家
計算機科學
有 在
Human
的專業知識
(=>
(
attribute
?PERSON
Economist
)
(
hasExpertise
?PERSON
Economics
))
Biography.kif 420-422
attribute
Human
and
Economist
經濟學
有 在
Human
的專業知識
(=>
(
attribute
?PERSON
Engineer
)
(
hasExpertise
?PERSON
Engineering
))
Biography.kif 427-429
attribute
Human
and
工程師
工程
有 在
Human
的專業知識
(=>
(
attribute
?PERSON
Geographer
)
(
hasExpertise
?PERSON
Geography
))
Biography.kif 471-473
attribute
Human
and
Geographer
地理
有 在
Human
的專業知識
(=>
(
attribute
?PERSON
Geologist
)
(
hasExpertise
?PERSON
Geology
))
Biography.kif 479-481
attribute
Human
and
Geologist
地質學
有 在
Human
的專業知識
(=>
(
attribute
?PERSON
Historian
)
(
hasExpertise
?PERSON
History
))
Biography.kif 486-488
attribute
Human
and
Historian
歷史
有 在
Human
的專業知識
(=>
(
attribute
?PERSON
Librarian
)
(
hasExpertise
?PERSON
LibraryScience
))
Biography.kif 564-566
attribute
Human
and
Librarian
LibraryScience
有 在
Human
的專業知識
(=>
(
attribute
?PERSON
Linguist
)
(
hasExpertise
?PERSON
Linguistics
))
Biography.kif 494-496
attribute
Human
and
Linguist
語言學
有 在
Human
的專業知識
(=>
(
attribute
?PERSON
Mathematician
)
(
hasExpertise
?PERSON
Mathematics
))
Biography.kif 501-503
attribute
Human
and
Mathematician
數學
有 在
Human
的專業知識
(=>
(
attribute
?PERSON
MedicalResearcher
)
(
and
(
attribute
?PERSON
Researcher
)
(
hasExpertise
?PERSON
MedicalScience
)))
Biography.kif 509-513
attribute
Human
and
MedicalResearcher
attribute
Human
and
研究員
醫藥科學
有 在
Human
的專業知識
(=>
(
attribute
?PERSON
Paleontologist
)
(
hasExpertise
?PERSON
Paleontology
))
Biography.kif 519-521
attribute
Human
and
古生物學家
古生物學
有 在
Human
的專業知識
(=>
(
attribute
?PERSON
Philosopher
)
(
hasExpertise
?PERSON
Philosophy
))
Biography.kif 526-528
attribute
Human
and
Philosopher
哲學
有 在
Human
的專業知識
(=>
(
attribute
?PERSON
Physicist
)
(
hasExpertise
?PERSON
Physics
))
Biography.kif 548-550
attribute
Human
and
物理學家
物理
有 在
Human
的專業知識
(=>
(
attribute
?PERSON
PoliticalScientist
)
(
hasExpertise
?PERSON
PoliticalScience
))
Biography.kif 556-558
attribute
Human
and
PoliticalScientist
政治學
有 在
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