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 21350-21351
(
domain
hasExpertise
1
Human
)
Mid-level-ontology.kif 21348-21348
Die Zahl 1 Argument von
hasExpertise
ist ein
fall
von
Human
%n{nicht}
(
domainSubclass
hasExpertise
2
FieldOfStudy
)
Mid-level-ontology.kif 21349-21349
Die Zahl 2 Argument von
hasExpertise
ist eine
teilkategorie
von
FieldOfStudy
%n{nicht}
(
instance
hasExpertise
BinaryPredicate
)
Mid-level-ontology.kif 21347-21347
hasExpertise
ist ein
fall
von
BinaryPredicate
%n{nicht}
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 21182-21191
Wenn
hasExpertise
Human
and
Architecture
,
dann es gibt
Process
,
Entity
, and und
** Entity
um
** Process
ist ein
fall
von
ContentDevelopment
%n{nicht} und
** Process
ist der
agent
von
** Human
%n{nicht} und
** Entity
ist ein
resultat
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
Blueprint
%n{nicht} und
** Entity
drueckt
** ** Entity
aus und
** ** Entity
ist ein
fall
von
Building
%n{nicht}
(=>
(
hasExpertise
?PERSON ?FIELD)
(
exists
(?LEARN ?SPECIALITY)
(
and
(
instance
?LEARN
Learning
)
(
agent
?LEARN ?PERSON)
(
instance
?SPECIALITY ?FIELD)
(
realization
?LEARN ?SPECIALITY))))
Mid-level-ontology.kif 21353-21360
Wenn
hasExpertise
Human
and
** FieldOfStudy
,
dann es gibt
Process
und
Proposition
um
** Process
ist ein
fall
von
Learning
%n{nicht} und
** Process
ist der
agent
von
** Human
%n{nicht} und
** Proposition
ist ein
fall
von
** FieldOfStudy
%n{nicht} und
** Process
druekt den Inhalt von
** Proposition
aus
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 8292-8301
Wenn
Entity
ist ein
fall
von
OccupationalTrade
%n{nicht} oder
** Entity
ist ein
fall
von
Profession
%n{nicht} und
** Entity
ist ein
attribut
von
** entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann es gibt
Class
um
** Class
ist eine
teilkategorie
von
FieldOfStudy
und
hasExpertise
** ** entity
and
** Class
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
attribute
?P
Lawyer
)
(
hasExpertise
?P
FieldOfLaw
))
Mid-level-ontology.kif 20972-20974
Wenn
Lawyer
ist ein
attribut
von
Human
%n{nicht},
dann
hasExpertise
** Human
and
FieldOfLaw
(=>
(
attribute
?P
Researcher
)
(
exists
(?S)
(
and
(
subclass
?S
Science
)
(
hasExpertise
?P ?S))))
Mid-level-ontology.kif 18895-18900
Wenn
Researcher
ist ein
attribut
von
Human
%n{nicht},
dann es gibt
** FieldOfStudy
um
** FieldOfStudy
ist eine
teilkategorie
von
Science
und
hasExpertise
** Human
and
** ** FieldOfStudy
(=>
(
attribute
?PERSON
Actuary
)
(
hasExpertise
?PERSON
ActuaryScience
))
Biography.kif 357-359
Wenn
Actuary
ist ein
attribut
von
Human
%n{nicht},
dann
hasExpertise
** Human
and
ActuaryScience
(=>
(
attribute
?PERSON
Anthropologist
)
(
hasExpertise
?PERSON
Anthropology
))
Biography.kif 365-367
Wenn
Anthropologist
ist ein
attribut
von
Human
%n{nicht},
dann
hasExpertise
** Human
and
Anthropology
(=>
(
attribute
?PERSON
Archeologist
)
(
hasExpertise
?PERSON
Archeology
))
Biography.kif 373-375
Wenn
Archeologist
ist ein
attribut
von
Human
%n{nicht},
dann
hasExpertise
** Human
and
Archeology
(=>
(
attribute
?PERSON
Architect
)
(
hasExpertise
?PERSON
Architecture
))
Biography.kif 380-382
Wenn
Architect
ist ein
attribut
von
Human
%n{nicht},
dann
hasExpertise
** Human
and
Architecture
(=>
(
attribute
?PERSON
Astronomer
)
(
hasExpertise
?PERSON
Astronomy
))
Biography.kif 388-390
Wenn
Astronomer
ist ein
attribut
von
Human
%n{nicht},
dann
hasExpertise
** Human
and
Astronomy
(=>
(
attribute
?PERSON
Biologist
)
(
hasExpertise
?PERSON
Biology
))
Biography.kif 396-398
Wenn
Biologist
ist ein
attribut
von
Human
%n{nicht},
dann
hasExpertise
** Human
and
Biology
(=>
(
attribute
?PERSON
Botanist
)
(
hasExpertise
?PERSON
Botany
))
Biography.kif 617-619
Wenn
Botanist
ist ein
attribut
von
Human
%n{nicht},
dann
hasExpertise
** Human
and
Botany
(=>
(
attribute
?PERSON
Chemist
)
(
hasExpertise
?PERSON
Chemistry
))
Biography.kif 404-406
Wenn
Chemist
ist ein
attribut
von
Human
%n{nicht},
dann
hasExpertise
** Human
and
Chemistry
(=>
(
attribute
?PERSON
ComputerScientist
)
(
hasExpertise
?PERSON
ComputerScience
))
Biography.kif 412-414
Wenn
ComputerScientist
ist ein
attribut
von
Human
%n{nicht},
dann
hasExpertise
** Human
and
ComputerScience
(=>
(
attribute
?PERSON
Economist
)
(
hasExpertise
?PERSON
Economics
))
Biography.kif 420-422
Wenn
Economist
ist ein
attribut
von
Human
%n{nicht},
dann
hasExpertise
** Human
and
Economics
(=>
(
attribute
?PERSON
Engineer
)
(
hasExpertise
?PERSON
Engineering
))
Biography.kif 427-429
Wenn
Engineer
ist ein
attribut
von
Human
%n{nicht},
dann
hasExpertise
** Human
and
Engineering
(=>
(
attribute
?PERSON
Geographer
)
(
hasExpertise
?PERSON
Geography
))
Biography.kif 471-473
Wenn
Geographer
ist ein
attribut
von
Human
%n{nicht},
dann
hasExpertise
** Human
and
Geography
(=>
(
attribute
?PERSON
Geologist
)
(
hasExpertise
?PERSON
Geology
))
Biography.kif 479-481
Wenn
Geologist
ist ein
attribut
von
Human
%n{nicht},
dann
hasExpertise
** Human
and
Geology
(=>
(
attribute
?PERSON
Historian
)
(
hasExpertise
?PERSON
History
))
Biography.kif 486-488
Wenn
Historian
ist ein
attribut
von
Human
%n{nicht},
dann
hasExpertise
** Human
and
History
(=>
(
attribute
?PERSON
Librarian
)
(
hasExpertise
?PERSON
LibraryScience
))
Biography.kif 564-566
Wenn
Librarian
ist ein
attribut
von
Human
%n{nicht},
dann
hasExpertise
** Human
and
LibraryScience
(=>
(
attribute
?PERSON
Linguist
)
(
hasExpertise
?PERSON
Linguistics
))
Biography.kif 494-496
Wenn
Linguist
ist ein
attribut
von
Human
%n{nicht},
dann
hasExpertise
** Human
and
Linguistics
(=>
(
attribute
?PERSON
Mathematician
)
(
hasExpertise
?PERSON
Mathematics
))
Biography.kif 501-503
Wenn
Mathematician
ist ein
attribut
von
Human
%n{nicht},
dann
hasExpertise
** Human
and
Mathematics
(=>
(
attribute
?PERSON
MedicalResearcher
)
(
and
(
attribute
?PERSON
Researcher
)
(
hasExpertise
?PERSON
MedicalScience
)))
Biography.kif 509-513
Wenn
MedicalResearcher
ist ein
attribut
von
Human
%n{nicht},
dann
Researcher
ist ein
attribut
von
** Human
%n{nicht} und
hasExpertise
** Human
and
MedicalScience
(=>
(
attribute
?PERSON
Paleontologist
)
(
hasExpertise
?PERSON
Paleontology
))
Biography.kif 519-521
Wenn
Paleontologist
ist ein
attribut
von
Human
%n{nicht},
dann
hasExpertise
** Human
and
Paleontology
(=>
(
attribute
?PERSON
Philosopher
)
(
hasExpertise
?PERSON
Philosophy
))
Biography.kif 526-528
Wenn
Philosopher
ist ein
attribut
von
Human
%n{nicht},
dann
hasExpertise
** Human
and
Philosophy
(=>
(
attribute
?PERSON
Physicist
)
(
hasExpertise
?PERSON
Physics
))
Biography.kif 548-550
Wenn
Physicist
ist ein
attribut
von
Human
%n{nicht},
dann
hasExpertise
** Human
and
Physics
(=>
(
attribute
?PERSON
PoliticalScientist
)
(
hasExpertise
?PERSON
PoliticalScience
))
Biography.kif 556-558
Wenn
PoliticalScientist
ist ein
attribut
von
Human
%n{nicht},
dann
hasExpertise
** Human
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