hasExpertise - Sigma Knowledge base Browser

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 21609-21610
(domain hasExpertise 1 Human)	Mid-level-ontology.kif 21607-21607	The number 1 argument of has expertise is an instance of human
(domainSubclass hasExpertise 2 FieldOfStudy)	Mid-level-ontology.kif 21608-21608	The number 2 argument of has expertise is a subclass of field of study
(instance hasExpertise BinaryPredicate)	Mid-level-ontology.kif 21606-21606	has expertise is an instance of binary predicate

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 27556-27556
(termFormat ChineseTraditionalLanguage hasExpertise "有專業知識")	domainEnglishFormat.kif 27555-27555
(termFormat EnglishLanguage hasExpertise "has expertise")	domainEnglishFormat.kif 27554-27554

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 21441-21450	If architecture has an expertise in a human, then there exist a process, an entity and another entity such that the process is an instance of content development and the human is an agent of the process and the entity is a result of the process and the entity is an instance of blueprint and the entity expresses the other entity and the other entity is an instance of building
(=> (hasExpertise ?PERSON ?FIELD) (exists (?LEARN ?SPECIALITY) (and (instance ?LEARN Learning) (agent ?LEARN ?PERSON) (instance ?SPECIALITY ?FIELD) (realization ?LEARN ?SPECIALITY))))	Mid-level-ontology.kif 21612-21619	If a kind of field of study has an expertise in a human, then there exist a process and a proposition such that the process is an instance of learning and the human is an agent of the process and the proposition is an instance of a kind of field of study and the process expresses the content of the proposition

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 8511-8520	If an entity is an instance of occupational trade or the entity is an instance of profession and the entity is an attribute of another entity holds during a time position, then there exists a class such that the class is a subclass of field of study and the class has an expertise in the other entity holds during the time position
(=> (attribute ?P Lawyer) (hasExpertise ?P FieldOfLaw))	Mid-level-ontology.kif 21231-21233	If lawyer is an attribute of a human, then field of law has an expertise in the human
(=> (attribute ?P Researcher) (exists (?S) (and (subclass ?S Science) (hasExpertise ?P ?S))))	Mid-level-ontology.kif 19154-19159	If researcher is an attribute of a human, then there exists a kind of field of study such that a kind of field of study is a subclass of science and the kind of field of study has an expertise in the human
(=> (attribute ?PERSON Actuary) (hasExpertise ?PERSON ActuaryScience))	Biography.kif 357-359	If actuary is an attribute of a human, then actuarial science has an expertise in the human
(=> (attribute ?PERSON Anthropologist) (hasExpertise ?PERSON Anthropology))	Biography.kif 365-367	If anthropologist is an attribute of a human, then anthropology has an expertise in the human
(=> (attribute ?PERSON Archeologist) (hasExpertise ?PERSON Archeology))	Biography.kif 373-375	If archeologist is an attribute of a human, then archeology has an expertise in the human
(=> (attribute ?PERSON Architect) (hasExpertise ?PERSON Architecture))	Biography.kif 380-382	If architect is an attribute of a human, then architecture has an expertise in the human
(=> (attribute ?PERSON Astronomer) (hasExpertise ?PERSON Astronomy))	Biography.kif 388-390	If astronomer is an attribute of a human, then astronomy has an expertise in the human
(=> (attribute ?PERSON Biologist) (hasExpertise ?PERSON Biology))	Biography.kif 396-398	If biologist is an attribute of a human, then biology has an expertise in the human
(=> (attribute ?PERSON Botanist) (hasExpertise ?PERSON Botany))	Biography.kif 617-619	If botanist is an attribute of a human, then botany has an expertise in the human
(=> (attribute ?PERSON Chemist) (hasExpertise ?PERSON Chemistry))	Biography.kif 404-406	If chemist is an attribute of a human, then chemistry has an expertise in the human
(=> (attribute ?PERSON ComputerScientist) (hasExpertise ?PERSON ComputerScience))	Biography.kif 412-414	If computer scientist is an attribute of a human, then computer science has an expertise in the human
(=> (attribute ?PERSON Economist) (hasExpertise ?PERSON Economics))	Biography.kif 420-422	If economist is an attribute of a human, then economics has an expertise in the human
(=> (attribute ?PERSON Engineer) (hasExpertise ?PERSON Engineering))	Biography.kif 427-429	If engineer is an attribute of a human, then engineering has an expertise in the human
(=> (attribute ?PERSON Geographer) (hasExpertise ?PERSON Geography))	Biography.kif 471-473	If geographer is an attribute of a human, then geography has an expertise in the human
(=> (attribute ?PERSON Geologist) (hasExpertise ?PERSON Geology))	Biography.kif 479-481	If geologist is an attribute of a human, then geology has an expertise in the human
(=> (attribute ?PERSON Historian) (hasExpertise ?PERSON History))	Biography.kif 486-488	If historian is an attribute of a human, then history has an expertise in the human
(=> (attribute ?PERSON Librarian) (hasExpertise ?PERSON LibraryScience))	Biography.kif 564-566	If librarian is an attribute of a human, then Library Science has an expertise in the human
(=> (attribute ?PERSON Linguist) (hasExpertise ?PERSON Linguistics))	Biography.kif 494-496	If linguist is an attribute of a human, then linguistics has an expertise in the human
(=> (attribute ?PERSON Mathematician) (hasExpertise ?PERSON Mathematics))	Biography.kif 501-503	If mathematician is an attribute of a human, then mathematics has an expertise in the human
(=> (attribute ?PERSON MedicalResearcher) (and (attribute ?PERSON Researcher) (hasExpertise ?PERSON MedicalScience)))	Biography.kif 509-513	If medical researcher is an attribute of a human, then researcher is an attribute of the human and medical science has an expertise in the human
(=> (attribute ?PERSON Paleontologist) (hasExpertise ?PERSON Paleontology))	Biography.kif 519-521	If paleontologist is an attribute of a human, then paleontology has an expertise in the human
(=> (attribute ?PERSON Philosopher) (hasExpertise ?PERSON Philosophy))	Biography.kif 526-528	If philosopher is an attribute of a human, then philosophy has an expertise in the human
(=> (attribute ?PERSON Physicist) (hasExpertise ?PERSON Physics))	Biography.kif 548-550	If physicist is an attribute of a human, then physics has an expertise in the human
(=> (attribute ?PERSON PoliticalScientist) (hasExpertise ?PERSON PoliticalScience))	Biography.kif 556-558	If political scientist is an attribute of a human, then political science has an expertise in the human

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

KB Term:			Term intersection

English Word: