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 数量 是
人类
的
instance
(
domainSubclass
hasExpertise
2
FieldOfStudy
)
Mid-level-ontology.kif 21350-21350
有专业知识
的 2 数量 是
研究领域
的
subclass
(
instance
hasExpertise
BinaryPredicate
)
Mid-level-ontology.kif 21348-21348
有专业知识
是
二元谓语
的
instance
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
如果
建筑
有 在
人类
的专业知识,
然后 有存在
过程
,
实体
, and 和
另一个 实体
这样
那个 过程
是
内容制作
的
instance
和
那个 人类
是
那个 过程
的
agent
和
那个 实体
是
那个 过程
的
result
和
那个 实体
是
蓝图
的
instance
和
那个 实体
表达
那个 另外 实体
和
那个 另外 实体
是
建筑物
的
instance
(=>
(
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
如果
有点 研究领域
有 在
人类
的专业知识,
然后 有存在
过程
和
命题
这样
那个 过程
是
学习
的
instance
和
那个 人类
是
那个 过程
的
agent
和
那个 命题
是
有点 研究领域
的
instance
和
那个 过程
表示
那个 命题
的内容
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
如果
实体
是
职业贸易
的
instance
或
那个 实体
是
职业
的
instance
和
那个 实体
是
另一个 实体
的
attribute
在
时间位置
holdsDuring
,
然后 有存在
类
这样
那个 类
是
研究领域
的
subclass
和
那个 类
有 在
那个 另外 实体
的专业知识 在
那个 时间位置
holdsDuring
(=>
(
attribute
?P
Lawyer
)
(
hasExpertise
?P
FieldOfLaw
))
Mid-level-ontology.kif 20973-20975
如果
Lawyer
是
人类
的
attribute
,
然后
法律领域
有 在
那个 人类
的专业知识
(=>
(
attribute
?P
Researcher
)
(
exists
(?S)
(
and
(
subclass
?S
Science
)
(
hasExpertise
?P ?S))))
Mid-level-ontology.kif 18896-18901
如果
研究员
是
人类
的
attribute
,
然后 有存在
有点 研究领域
这样
有点 研究领域
是
科学
的
subclass
和
那个 有点 研究领域
有 在
那个 人类
的专业知识
(=>
(
attribute
?PERSON
Actuary
)
(
hasExpertise
?PERSON
ActuaryScience
))
Biography.kif 357-359
如果
精算师
是
人类
的
attribute
,
然后
精算科学
有 在
那个 人类
的专业知识
(=>
(
attribute
?PERSON
Anthropologist
)
(
hasExpertise
?PERSON
Anthropology
))
Biography.kif 365-367
如果
人类学家
是
人类
的
attribute
,
然后
人类学
有 在
那个 人类
的专业知识
(=>
(
attribute
?PERSON
Archeologist
)
(
hasExpertise
?PERSON
Archeology
))
Biography.kif 373-375
如果
考古学家
是
人类
的
attribute
,
然后
Archeology
有 在
那个 人类
的专业知识
(=>
(
attribute
?PERSON
Architect
)
(
hasExpertise
?PERSON
Architecture
))
Biography.kif 380-382
如果
建筑师
是
人类
的
attribute
,
然后
建筑
有 在
那个 人类
的专业知识
(=>
(
attribute
?PERSON
Astronomer
)
(
hasExpertise
?PERSON
Astronomy
))
Biography.kif 388-390
如果
天文学家
是
人类
的
attribute
,
然后
天文学
有 在
那个 人类
的专业知识
(=>
(
attribute
?PERSON
Biologist
)
(
hasExpertise
?PERSON
Biology
))
Biography.kif 396-398
如果
生物学家
是
人类
的
attribute
,
然后
生物学
有 在
那个 人类
的专业知识
(=>
(
attribute
?PERSON
Botanist
)
(
hasExpertise
?PERSON
Botany
))
Biography.kif 617-619
如果
植物学家
是
人类
的
attribute
,
然后
植物学
有 在
那个 人类
的专业知识
(=>
(
attribute
?PERSON
Chemist
)
(
hasExpertise
?PERSON
Chemistry
))
Biography.kif 404-406
如果
化学家
是
人类
的
attribute
,
然后
化学
有 在
那个 人类
的专业知识
(=>
(
attribute
?PERSON
ComputerScientist
)
(
hasExpertise
?PERSON
ComputerScience
))
Biography.kif 412-414
如果
电脑科学家
是
人类
的
attribute
,
然后
计算机科学
有 在
那个 人类
的专业知识
(=>
(
attribute
?PERSON
Economist
)
(
hasExpertise
?PERSON
Economics
))
Biography.kif 420-422
如果
Economist
是
人类
的
attribute
,
然后
经济学
有 在
那个 人类
的专业知识
(=>
(
attribute
?PERSON
Engineer
)
(
hasExpertise
?PERSON
Engineering
))
Biography.kif 427-429
如果
工程师
是
人类
的
attribute
,
然后
工程
有 在
那个 人类
的专业知识
(=>
(
attribute
?PERSON
Geographer
)
(
hasExpertise
?PERSON
Geography
))
Biography.kif 471-473
如果
Geographer
是
人类
的
attribute
,
然后
地理
有 在
那个 人类
的专业知识
(=>
(
attribute
?PERSON
Geologist
)
(
hasExpertise
?PERSON
Geology
))
Biography.kif 479-481
如果
Geologist
是
人类
的
attribute
,
然后
地质学
有 在
那个 人类
的专业知识
(=>
(
attribute
?PERSON
Historian
)
(
hasExpertise
?PERSON
History
))
Biography.kif 486-488
如果
Historian
是
人类
的
attribute
,
然后
历史
有 在
那个 人类
的专业知识
(=>
(
attribute
?PERSON
Librarian
)
(
hasExpertise
?PERSON
LibraryScience
))
Biography.kif 564-566
如果
Librarian
是
人类
的
attribute
,
然后
LibraryScience
有 在
那个 人类
的专业知识
(=>
(
attribute
?PERSON
Linguist
)
(
hasExpertise
?PERSON
Linguistics
))
Biography.kif 494-496
如果
Linguist
是
人类
的
attribute
,
然后
语言学
有 在
那个 人类
的专业知识
(=>
(
attribute
?PERSON
Mathematician
)
(
hasExpertise
?PERSON
Mathematics
))
Biography.kif 501-503
如果
Mathematician
是
人类
的
attribute
,
然后
数学
有 在
那个 人类
的专业知识
(=>
(
attribute
?PERSON
MedicalResearcher
)
(
and
(
attribute
?PERSON
Researcher
)
(
hasExpertise
?PERSON
MedicalScience
)))
Biography.kif 509-513
如果
MedicalResearcher
是
人类
的
attribute
,
然后
研究员
是
那个 人类
的
attribute
和
医药科学
有 在
那个 人类
的专业知识
(=>
(
attribute
?PERSON
Paleontologist
)
(
hasExpertise
?PERSON
Paleontology
))
Biography.kif 519-521
如果
古生物学家
是
人类
的
attribute
,
然后
古生物学
有 在
那个 人类
的专业知识
(=>
(
attribute
?PERSON
Philosopher
)
(
hasExpertise
?PERSON
Philosophy
))
Biography.kif 526-528
如果
Philosopher
是
人类
的
attribute
,
然后
哲学
有 在
那个 人类
的专业知识
(=>
(
attribute
?PERSON
Physicist
)
(
hasExpertise
?PERSON
Physics
))
Biography.kif 548-550
如果
物理学家
是
人类
的
attribute
,
然后
物理
有 在
那个 人类
的专业知识
(=>
(
attribute
?PERSON
PoliticalScientist
)
(
hasExpertise
?PERSON
PoliticalScience
))
Biography.kif 556-558
如果
PoliticalScientist
是
人类
的
attribute
,
然后
政治学
有 在
那个 人类
的专业知识
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