| 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 20505-20506 | |
| (domain hasExpertise 1 Human) | Mid-level-ontology.kif 20503-20503 | |
| (domain hasExpertise 2 FieldOfStudy) | Mid-level-ontology.kif 20504-20504 | |
| (instance hasExpertise BinaryPredicate) | Mid-level-ontology.kif 20502-20502 |
| 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 20337-20346 | |
| (=> (hasExpertise ?PERSON ?FIELD) (exists (?LEARN) (and (instance ?LEARN Learning) (agent ?LEARN ?PERSON) (realization ?LEARN ?FIELD)))) |
Mid-level-ontology.kif 20508-20514 |
| consequent |
|
|
| (=> (attribute ?P Lawyer) (hasExpertise ?P FieldOfLaw)) |
Mid-level-ontology.kif 20145-20147 | |
| (=> (attribute ?P Researcher) (exists (?S) (and (instance ?S Science) (hasExpertise ?P ?S)))) |
Mid-level-ontology.kif 18102-18107 | |
| (=> (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 385-387 | |
| (=> (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 332-334 | |
| (=> (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 316-318 | |
| (=> (attribute ?PERSON PoliticalScientist) (hasExpertise ?PERSON PoliticalScience)) |
Biography.kif 324-326 | |
| (=> (attribute ?PERSON Psychologist) (hasExpertise ?PERSON Psychology)) |
Biography.kif 303-305 | |
| 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