| 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 19423-19424 | |
| (domain hasExpertise 1 Human) | Mid-level-ontology.kif 19421-19421 | |
| (domain hasExpertise 2 FieldOfStudy) | Mid-level-ontology.kif 19422-19422 | |
| (instance hasExpertise BinaryPredicate) | Mid-level-ontology.kif 19420-19420 |
| 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 27513-27513 | |
| (termFormat ChineseTraditionalLanguage hasExpertise "有專業知識") | domainEnglishFormat.kif 27512-27512 | |
| (termFormat EnglishLanguage hasExpertise "has expertise") | domainEnglishFormat.kif 27511-27511 |
| 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 19268-19277 | |
| (=> (hasExpertise ?PERSON ?FIELD) (exists (?LEARN) (and (instance ?LEARN Learning) (agent ?LEARN ?PERSON) (realization ?LEARN ?FIELD)))) |
Mid-level-ontology.kif 19426-19432 |
| consequent |
|
|
| (=> (attribute ?P Lawyer) (hasExpertise ?P FieldOfLaw)) |
Mid-level-ontology.kif 19076-19078 | |
| (=> (attribute ?P Researcher) (exists (?S) (and (instance ?S Science) (hasExpertise ?P ?S)))) |
Mid-level-ontology.kif 17034-17039 | |
| (=> (attribute ?PERSON Actuary) (hasExpertise ?PERSON ActuaryScience)) |
Biography.kif 123-125 | |
| (=> (attribute ?PERSON Anthropologist) (hasExpertise ?PERSON Anthropology)) |
Biography.kif 131-133 | |
| (=> (attribute ?PERSON Archeologist) (hasExpertise ?PERSON Archeology)) |
Biography.kif 139-141 | |
| (=> (attribute ?PERSON Architect) (hasExpertise ?PERSON Architecture)) |
Biography.kif 146-148 | |
| (=> (attribute ?PERSON Astronomer) (hasExpertise ?PERSON Astronomy)) |
Biography.kif 155-157 | |
| (=> (attribute ?PERSON Biologist) (hasExpertise ?PERSON Biology)) |
Biography.kif 163-165 | |
| (=> (attribute ?PERSON Botanist) (hasExpertise ?PERSON Botany)) |
Biography.kif 379-381 | |
| (=> (attribute ?PERSON Chemist) (hasExpertise ?PERSON Chemistry)) |
Biography.kif 171-173 | |
| (=> (attribute ?PERSON ComputerScientist) (hasExpertise ?PERSON ComputerScience)) |
Biography.kif 179-181 | |
| (=> (attribute ?PERSON Economist) (hasExpertise ?PERSON Economics)) |
Biography.kif 187-189 | |
| (=> (attribute ?PERSON Engineer) (hasExpertise ?PERSON Engineering)) |
Biography.kif 194-196 | |
| (=> (attribute ?PERSON Geographer) (hasExpertise ?PERSON Geography)) |
Biography.kif 238-240 | |
| (=> (attribute ?PERSON Geologist) (hasExpertise ?PERSON Geology)) |
Biography.kif 246-248 | |
| (=> (attribute ?PERSON Historian) (hasExpertise ?PERSON History)) |
Biography.kif 253-255 | |
| (=> (attribute ?PERSON Librarian) (hasExpertise ?PERSON LibraryScience)) |
Biography.kif 326-328 | |
| (=> (attribute ?PERSON Linguist) (hasExpertise ?PERSON Linguistics)) |
Biography.kif 261-263 | |
| (=> (attribute ?PERSON Mathematician) (hasExpertise ?PERSON Mathematics)) |
Biography.kif 268-270 | |
| (=> (attribute ?PERSON MedicalResearcher) (and (attribute ?PERSON Researcher) (hasExpertise ?PERSON MedicalScience))) |
Biography.kif 276-280 | |
| (=> (attribute ?PERSON Paleontologist) (hasExpertise ?PERSON Paleontology)) |
Biography.kif 286-288 | |
| (=> (attribute ?PERSON Philosopher) (hasExpertise ?PERSON Philosophy)) |
Biography.kif 294-296 | |
| (=> (attribute ?PERSON Physicist) (hasExpertise ?PERSON Physics)) |
Biography.kif 310-312 | |
| (=> (attribute ?PERSON PoliticalScientist) (hasExpertise ?PERSON PoliticalScience)) |
Biography.kif 318-320 | |
| (=> (attribute ?PERSON Psychologist) (hasExpertise ?PERSON Psychology)) |
Biography.kif 302-304 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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