| 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 22968-22969 | |
| (domain hasExpertise 1 Human) | Mid-level-ontology.kif 22966-22966 | |
| (domainSubclass hasExpertise 2 FieldOfStudy) | Mid-level-ontology.kif 22967-22967 | |
| (instance hasExpertise BinaryPredicate) | Mid-level-ontology.kif 22965-22965 |
| 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 27533-27533 | |
| (termFormat ChineseTraditionalLanguage hasExpertise "有專業知識") | domainEnglishFormat.kif 27532-27532 | |
| (termFormat EnglishLanguage hasExpertise "has expertise") | domainEnglishFormat.kif 27531-27531 |
| 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 22800-22809 | |
| (=> (hasExpertise ?PERSON ?FIELD) (exists (?LEARN ?SPECIALITY) (and (instance ?LEARN Learning) (agent ?LEARN ?PERSON) (instance ?SPECIALITY ?FIELD) (realization ?LEARN ?SPECIALITY)))) |
Mid-level-ontology.kif 22971-22978 |
| 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 9499-9508 | |
| (=> (attribute ?P Lawyer) (hasExpertise ?P FieldOfLaw)) |
Mid-level-ontology.kif 22590-22592 | |
| (=> (attribute ?P Researcher) (exists (?S) (and (subclass ?S Science) (hasExpertise ?P ?S)))) |
Mid-level-ontology.kif 20467-20472 | |
| (=> (attribute ?PERSON Actuary) (hasExpertise ?PERSON ActuaryScience)) |
Biography.kif 365-367 | |
| (=> (attribute ?PERSON Anthropologist) (hasExpertise ?PERSON Anthropology)) |
Biography.kif 373-375 | |
| (=> (attribute ?PERSON Archeologist) (hasExpertise ?PERSON Archeology)) |
Biography.kif 381-383 | |
| (=> (attribute ?PERSON Architect) (hasExpertise ?PERSON Architecture)) |
Biography.kif 388-390 | |
| (=> (attribute ?PERSON Astronomer) (hasExpertise ?PERSON Astronomy)) |
Biography.kif 396-398 | |
| (=> (attribute ?PERSON Biologist) (hasExpertise ?PERSON Biology)) |
Biography.kif 404-406 | |
| (=> (attribute ?PERSON Botanist) (hasExpertise ?PERSON Botany)) |
Biography.kif 625-627 | |
| (=> (attribute ?PERSON Chemist) (hasExpertise ?PERSON Chemistry)) |
Biography.kif 412-414 | |
| (=> (attribute ?PERSON ComputerScientist) (hasExpertise ?PERSON ComputerScience)) |
Biography.kif 420-422 | |
| (=> (attribute ?PERSON Economist) (hasExpertise ?PERSON Economics)) |
Biography.kif 428-430 | |
| (=> (attribute ?PERSON Engineer) (hasExpertise ?PERSON Engineering)) |
Biography.kif 435-437 | |
| (=> (attribute ?PERSON Geographer) (hasExpertise ?PERSON Geography)) |
Biography.kif 479-481 | |
| (=> (attribute ?PERSON Geologist) (hasExpertise ?PERSON Geology)) |
Biography.kif 487-489 | |
| (=> (attribute ?PERSON Historian) (hasExpertise ?PERSON History)) |
Biography.kif 494-496 | |
| (=> (attribute ?PERSON Librarian) (hasExpertise ?PERSON LibraryScience)) |
Biography.kif 572-574 | |
| (=> (attribute ?PERSON Linguist) (hasExpertise ?PERSON Linguistics)) |
Biography.kif 502-504 | |
| (=> (attribute ?PERSON Mathematician) (hasExpertise ?PERSON Mathematics)) |
Biography.kif 509-511 | |
| (=> (attribute ?PERSON MedicalResearcher) (and (attribute ?PERSON Researcher) (hasExpertise ?PERSON MedicalScience))) |
Biography.kif 517-521 | |
| (=> (attribute ?PERSON Paleontologist) (hasExpertise ?PERSON Paleontology)) |
Biography.kif 527-529 | |
| (=> (attribute ?PERSON Philosopher) (hasExpertise ?PERSON Philosophy)) |
Biography.kif 534-536 | |
| (=> (attribute ?PERSON Physicist) (hasExpertise ?PERSON Physics)) |
Biography.kif 556-558 | |
| (=> (attribute ?PERSON PoliticalScientist) (hasExpertise ?PERSON PoliticalScience)) |
Biography.kif 564-566 | |
| 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