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 22985-22986
(domain hasExpertise 1 Human)	Mid-level-ontology.kif 22983-22983	The number 1 argument of has expertise is an instance of human
(domainSubclass hasExpertise 2 FieldOfStudy)	Mid-level-ontology.kif 22984-22984	The number 2 argument of has expertise is a subclass of field of study
(instance hasExpertise BinaryPredicate)	Mid-level-ontology.kif 22982-22982	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 27550-27550
(termFormat ChineseTraditionalLanguage hasExpertise "有專業知識")	domainEnglishFormat.kif 27549-27549
(termFormat EnglishLanguage hasExpertise "has expertise")	domainEnglishFormat.kif 27548-27548

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 22817-22826	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 22988-22995	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 9517-9526	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 22607-22609	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 20484-20489	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 365-367	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 373-375	If anthropologist is an attribute of a human, then anthropology has an expertise in the human
(=> (attribute ?PERSON Archeologist) (hasExpertise ?PERSON Archeology))	Biography.kif 381-383	If archeologist is an attribute of a human, then archeology has an expertise in the human
(=> (attribute ?PERSON Architect) (hasExpertise ?PERSON Architecture))	Biography.kif 388-390	If architect is an attribute of a human, then architecture has an expertise in the human
(=> (attribute ?PERSON Astronomer) (hasExpertise ?PERSON Astronomy))	Biography.kif 396-398	If astronomer is an attribute of a human, then astronomy has an expertise in the human
(=> (attribute ?PERSON Biologist) (hasExpertise ?PERSON Biology))	Biography.kif 404-406	If biologist is an attribute of a human, then biology has an expertise in the human
(=> (attribute ?PERSON Botanist) (hasExpertise ?PERSON Botany))	Biography.kif 625-627	If botanist is an attribute of a human, then botany has an expertise in the human
(=> (attribute ?PERSON Chemist) (hasExpertise ?PERSON Chemistry))	Biography.kif 412-414	If chemist is an attribute of a human, then chemistry has an expertise in the human
(=> (attribute ?PERSON ComputerScientist) (hasExpertise ?PERSON ComputerScience))	Biography.kif 420-422	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 428-430	If economist is an attribute of a human, then economics has an expertise in the human
(=> (attribute ?PERSON Engineer) (hasExpertise ?PERSON Engineering))	Biography.kif 435-437	If engineer is an attribute of a human, then engineering has an expertise in the human
(=> (attribute ?PERSON Geographer) (hasExpertise ?PERSON Geography))	Biography.kif 479-481	If geographer is an attribute of a human, then geography has an expertise in the human
(=> (attribute ?PERSON Geologist) (hasExpertise ?PERSON Geology))	Biography.kif 487-489	If geologist is an attribute of a human, then geology has an expertise in the human
(=> (attribute ?PERSON Historian) (hasExpertise ?PERSON History))	Biography.kif 494-496	If historian is an attribute of a human, then history has an expertise in the human
(=> (attribute ?PERSON Librarian) (hasExpertise ?PERSON LibraryScience))	Biography.kif 572-574	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 502-504	If linguist is an attribute of a human, then linguistics has an expertise in the human
(=> (attribute ?PERSON Mathematician) (hasExpertise ?PERSON Mathematics))	Biography.kif 509-511	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 517-521	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 527-529	If paleontologist is an attribute of a human, then paleontology has an expertise in the human
(=> (attribute ?PERSON Philosopher) (hasExpertise ?PERSON Philosophy))	Biography.kif 534-536	If philosopher is an attribute of a human, then philosophy has an expertise in the human
(=> (attribute ?PERSON Physicist) (hasExpertise ?PERSON Physics))	Biography.kif 556-558	If physicist is an attribute of a human, then physics has an expertise in the human
(=> (attribute ?PERSON PoliticalScientist) (hasExpertise ?PERSON PoliticalScience))	Biography.kif 564-566	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: