TreeView 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 20650-20651
(domain hasExpertise 1 Human)	Mid-level-ontology.kif 20648-20648	The number 1 argument of has expertise is an instance of human
(domain hasExpertise 2 FieldOfStudy)	Mid-level-ontology.kif 20649-20649	The number 2 argument of has expertise is an instance of field of study
(instance hasExpertise BinaryPredicate)	Mid-level-ontology.kif 20647-20647	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 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 20482-20491	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) (and (instance ?LEARN Learning) (agent ?LEARN ?PERSON) (realization ?LEARN ?FIELD))))	Mid-level-ontology.kif 20653-20659	If a field of study has an expertise in a human, then there exists a process such that the process is an instance of learning and the human is an agent of the process and the process expresses the content of the field of study

consequent

(=> (attribute ?P Lawyer) (hasExpertise ?P FieldOfLaw))	Mid-level-ontology.kif 20290-20292	If Lawyer is an attribute of a human, then field of law has an expertise in the human
(=> (attribute ?P Researcher) (exists (?S) (and (instance ?S Science) (hasExpertise ?P ?S))))	Mid-level-ontology.kif 18247-18252	If researcher is an attribute of a human, then there exists a field of study such that the field of study is an instance of science and the field of study has an expertise in the human
(=> (attribute ?PERSON Actuary) (hasExpertise ?PERSON ActuaryScience))	Biography.kif 123-125	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 131-133	If anthropologist is an attribute of a human, then anthropology has an expertise in the human
(=> (attribute ?PERSON Archeologist) (hasExpertise ?PERSON Archeology))	Biography.kif 139-141	If archeologist is an attribute of a human, then Archeology has an expertise in the human
(=> (attribute ?PERSON Architect) (hasExpertise ?PERSON Architecture))	Biography.kif 146-148	If architect is an attribute of a human, then architecture has an expertise in the human
(=> (attribute ?PERSON Astronomer) (hasExpertise ?PERSON Astronomy))	Biography.kif 155-157	If astronomer is an attribute of a human, then astronomy has an expertise in the human
(=> (attribute ?PERSON Biologist) (hasExpertise ?PERSON Biology))	Biography.kif 163-165	If biologist is an attribute of a human, then biology has an expertise in the human
(=> (attribute ?PERSON Botanist) (hasExpertise ?PERSON Botany))	Biography.kif 385-387	If botanist is an attribute of a human, then botany has an expertise in the human
(=> (attribute ?PERSON Chemist) (hasExpertise ?PERSON Chemistry))	Biography.kif 171-173	If chemist is an attribute of a human, then chemistry has an expertise in the human
(=> (attribute ?PERSON ComputerScientist) (hasExpertise ?PERSON ComputerScience))	Biography.kif 179-181	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 187-189	If Economist is an attribute of a human, then economics has an expertise in the human
(=> (attribute ?PERSON Engineer) (hasExpertise ?PERSON Engineering))	Biography.kif 194-196	If engineer is an attribute of a human, then engineering has an expertise in the human
(=> (attribute ?PERSON Geographer) (hasExpertise ?PERSON Geography))	Biography.kif 238-240	If Geographer is an attribute of a human, then geography has an expertise in the human
(=> (attribute ?PERSON Geologist) (hasExpertise ?PERSON Geology))	Biography.kif 246-248	If Geologist is an attribute of a human, then geology has an expertise in the human
(=> (attribute ?PERSON Historian) (hasExpertise ?PERSON History))	Biography.kif 253-255	If Historian is an attribute of a human, then history has an expertise in the human
(=> (attribute ?PERSON Librarian) (hasExpertise ?PERSON LibraryScience))	Biography.kif 332-334	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 261-263	If Linguist is an attribute of a human, then linguistics has an expertise in the human
(=> (attribute ?PERSON Mathematician) (hasExpertise ?PERSON Mathematics))	Biography.kif 268-270	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 276-280	If MedicalResearcher 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 286-288	If paleontologist is an attribute of a human, then paleontology has an expertise in the human
(=> (attribute ?PERSON Philosopher) (hasExpertise ?PERSON Philosophy))	Biography.kif 294-296	If Philosopher is an attribute of a human, then philosophy has an expertise in the human
(=> (attribute ?PERSON Physicist) (hasExpertise ?PERSON Physics))	Biography.kif 316-318	If physicist is an attribute of a human, then physics has an expertise in the human
(=> (attribute ?PERSON PoliticalScientist) (hasExpertise ?PERSON PoliticalScience))	Biography.kif 324-326	If PoliticalScientist is an attribute of a human, then political science has an expertise in the human
(=> (attribute ?PERSON Psychologist) (hasExpertise ?PERSON Psychology))	Biography.kif 303-305	If psychologist is an attribute of a human, then psychology has an expertise in the human

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: