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
hasExpertise
の数値 1 引数は
人[人間]
の
instance
では %n
(
domainSubclass
hasExpertise
2
FieldOfStudy
)
Mid-level-ontology.kif 21350-21350
hasExpertise
の数値 2 引数は
研究分野
の
subclass
では %n
(
instance
hasExpertise
BinaryPredicate
)
Mid-level-ontology.kif 21348-21348
hasExpertise
は
2進述語
の
instance
では %n
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
hasExpertise
人[人間]
and
Architecture
工程
エンティティー
and
エンティティー
工程
は
コンテンツ開発
の
instance
では %n
人[人間]
は
工程
の
agent
では %n
エンティティー
は
工程
の
result
では %n
エンティティー
は
Blueprint
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
エンティティー
は
建物
の
instance
では %n
(=>
(
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
hasExpertise
人[人間]
and
研究分野
工程
命題
工程
は
学習
の
instance
では %n
人[人間]
は
工程
の
agent
では %n
命題
は
研究分野
の
instance
では %n
工程
は
命題
の内容を
express
es %n{ない}
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
エンティティー
は
OccupationalTrade
の
instance
では %n
エンティティー
は
Profession
の
instance
では %n
エンティティー
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
クラス
クラス
は
研究分野
の
subclass
では %n
hasExpertise
エンティティー
and
クラス
は
時間位置
の
during
holds %n{ない}
(=>
(
attribute
?P
Lawyer
)
(
hasExpertise
?P
FieldOfLaw
))
Mid-level-ontology.kif 20973-20975
Lawyer
は
人[人間]
の
attribute
では %n
hasExpertise
人[人間]
and
FieldOfLaw
(=>
(
attribute
?P
Researcher
)
(
exists
(?S)
(
and
(
subclass
?S
Science
)
(
hasExpertise
?P ?S))))
Mid-level-ontology.kif 18896-18901
Researcher
は
人[人間]
の
attribute
では %n
研究分野
研究分野
は
Science
の
subclass
では %n
hasExpertise
人[人間]
and
研究分野
(=>
(
attribute
?PERSON
Actuary
)
(
hasExpertise
?PERSON
ActuaryScience
))
Biography.kif 357-359
Actuary
は
人[人間]
の
attribute
では %n
hasExpertise
人[人間]
and
ActuaryScience
(=>
(
attribute
?PERSON
Anthropologist
)
(
hasExpertise
?PERSON
Anthropology
))
Biography.kif 365-367
Anthropologist
は
人[人間]
の
attribute
では %n
hasExpertise
人[人間]
and
Anthropology
(=>
(
attribute
?PERSON
Archeologist
)
(
hasExpertise
?PERSON
Archeology
))
Biography.kif 373-375
Archeologist
は
人[人間]
の
attribute
では %n
hasExpertise
人[人間]
and
Archeology
(=>
(
attribute
?PERSON
Architect
)
(
hasExpertise
?PERSON
Architecture
))
Biography.kif 380-382
Architect
は
人[人間]
の
attribute
では %n
hasExpertise
人[人間]
and
Architecture
(=>
(
attribute
?PERSON
Astronomer
)
(
hasExpertise
?PERSON
Astronomy
))
Biography.kif 388-390
Astronomer
は
人[人間]
の
attribute
では %n
hasExpertise
人[人間]
and
Astronomy
(=>
(
attribute
?PERSON
Biologist
)
(
hasExpertise
?PERSON
Biology
))
Biography.kif 396-398
Biologist
は
人[人間]
の
attribute
では %n
hasExpertise
人[人間]
and
Biology
(=>
(
attribute
?PERSON
Botanist
)
(
hasExpertise
?PERSON
Botany
))
Biography.kif 617-619
Botanist
は
人[人間]
の
attribute
では %n
hasExpertise
人[人間]
and
Botany
(=>
(
attribute
?PERSON
Chemist
)
(
hasExpertise
?PERSON
Chemistry
))
Biography.kif 404-406
Chemist
は
人[人間]
の
attribute
では %n
hasExpertise
人[人間]
and
Chemistry
(=>
(
attribute
?PERSON
ComputerScientist
)
(
hasExpertise
?PERSON
ComputerScience
))
Biography.kif 412-414
ComputerScientist
は
人[人間]
の
attribute
では %n
hasExpertise
人[人間]
and
ComputerScience
(=>
(
attribute
?PERSON
Economist
)
(
hasExpertise
?PERSON
Economics
))
Biography.kif 420-422
Economist
は
人[人間]
の
attribute
では %n
hasExpertise
人[人間]
and
Economics
(=>
(
attribute
?PERSON
Engineer
)
(
hasExpertise
?PERSON
Engineering
))
Biography.kif 427-429
Engineer
は
人[人間]
の
attribute
では %n
hasExpertise
人[人間]
and
Engineering
(=>
(
attribute
?PERSON
Geographer
)
(
hasExpertise
?PERSON
Geography
))
Biography.kif 471-473
Geographer
は
人[人間]
の
attribute
では %n
hasExpertise
人[人間]
and
Geography
(=>
(
attribute
?PERSON
Geologist
)
(
hasExpertise
?PERSON
Geology
))
Biography.kif 479-481
Geologist
は
人[人間]
の
attribute
では %n
hasExpertise
人[人間]
and
Geology
(=>
(
attribute
?PERSON
Historian
)
(
hasExpertise
?PERSON
History
))
Biography.kif 486-488
Historian
は
人[人間]
の
attribute
では %n
hasExpertise
人[人間]
and
History
(=>
(
attribute
?PERSON
Librarian
)
(
hasExpertise
?PERSON
LibraryScience
))
Biography.kif 564-566
Librarian
は
人[人間]
の
attribute
では %n
hasExpertise
人[人間]
and
LibraryScience
(=>
(
attribute
?PERSON
Linguist
)
(
hasExpertise
?PERSON
Linguistics
))
Biography.kif 494-496
Linguist
は
人[人間]
の
attribute
では %n
hasExpertise
人[人間]
and
Linguistics
(=>
(
attribute
?PERSON
Mathematician
)
(
hasExpertise
?PERSON
Mathematics
))
Biography.kif 501-503
Mathematician
は
人[人間]
の
attribute
では %n
hasExpertise
人[人間]
and
Mathematics
(=>
(
attribute
?PERSON
MedicalResearcher
)
(
and
(
attribute
?PERSON
Researcher
)
(
hasExpertise
?PERSON
MedicalScience
)))
Biography.kif 509-513
MedicalResearcher
は
人[人間]
の
attribute
では %n
Researcher
は
人[人間]
の
attribute
では %n
hasExpertise
人[人間]
and
MedicalScience
(=>
(
attribute
?PERSON
Paleontologist
)
(
hasExpertise
?PERSON
Paleontology
))
Biography.kif 519-521
Paleontologist
は
人[人間]
の
attribute
では %n
hasExpertise
人[人間]
and
Paleontology
(=>
(
attribute
?PERSON
Philosopher
)
(
hasExpertise
?PERSON
Philosophy
))
Biography.kif 526-528
Philosopher
は
人[人間]
の
attribute
では %n
hasExpertise
人[人間]
and
Philosophy
(=>
(
attribute
?PERSON
Physicist
)
(
hasExpertise
?PERSON
Physics
))
Biography.kif 548-550
Physicist
は
人[人間]
の
attribute
では %n
hasExpertise
人[人間]
and
Physics
(=>
(
attribute
?PERSON
PoliticalScientist
)
(
hasExpertise
?PERSON
PoliticalScience
))
Biography.kif 556-558
PoliticalScientist
は
人[人間]
の
attribute
では %n
hasExpertise
人[人間]
and
PoliticalScience
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