Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  hasExpertise

Sigma KEE - hasExpertise
hasExpertise

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 19065-19066
(domain hasExpertise 1 Human) Mid-level-ontology.kif 19063-19063 The number 1 argument of has expertise is an instance of human
(domain hasExpertise 2 FieldOfStudy) Mid-level-ontology.kif 19064-19064 The number 2 argument of has expertise is an instance of field of study
(instance hasExpertise BinaryPredicate) Mid-level-ontology.kif 19062-19062 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 27445-27445
(termFormat ChineseTraditionalLanguage hasExpertise "有專業知識") domainEnglishFormat.kif 27444-27444
(termFormat EnglishLanguage hasExpertise "has expertise") domainEnglishFormat.kif 27443-27443

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 18926-18935
(=>
    (hasExpertise ?PERSON ?FIELD)
    (exists (?LEARN)
        (and
            (instance ?LEARN Learning)
            (agent ?LEARN ?PERSON)
            (realization ?LEARN ?FIELD))))
Mid-level-ontology.kif 19068-19074

consequent
-------------------------


(=>
    (attribute ?P Lawyer)
    (hasExpertise ?P FieldOfLaw))
Mid-level-ontology.kif 18705-18707
(=>
    (attribute ?P Researcher)
    (exists (?S)
        (and
            (instance ?S Science)
            (hasExpertise ?P ?S))))
Mid-level-ontology.kif 16676-16681
(=>
    (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 379-381
(=>
    (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 326-328
(=>
    (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 310-312
(=>
    (attribute ?PERSON PoliticalScientist)
    (hasExpertise ?PERSON PoliticalScience))
Biography.kif 318-320
(=>
    (attribute ?PERSON Psychologist)
    (hasExpertise ?PERSON Psychology))
Biography.kif 302-304

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)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners