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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 21297-21298
(domain hasExpertise 1 Human) Mid-level-ontology.kif 21295-21295 Le nombre 1 argument de hasExpertise est une instance de humain
(domainSubclass hasExpertise 2 FieldOfStudy) Mid-level-ontology.kif 21296-21296 Le nombre 2 argument de hasExpertise est une sous-classe de champ d'�tude
(instance hasExpertise BinaryPredicate) Mid-level-ontology.kif 21294-21294 hasExpertise est une instance de pr�dicat binaire

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

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 21129-21138
(=>
    (hasExpertise ?PERSON ?FIELD)
    (exists (?LEARN ?SPECIALITY)
        (and
            (instance ?LEARN Learning)
            (agent ?LEARN ?PERSON)
            (instance ?SPECIALITY ?FIELD)
            (realization ?LEARN ?SPECIALITY))))		 Mid-level-ontology.kif 21300-21307

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 8265-8274
(=>
    (attribute ?P Lawyer)
    (hasExpertise ?P FieldOfLaw))		 Mid-level-ontology.kif 20919-20921
(=>
    (attribute ?P Researcher)
    (exists (?S)
        (and
            (subclass ?S Science)
            (hasExpertise ?P ?S))))		 Mid-level-ontology.kif 18842-18847
(=>
    (attribute ?PERSON Actuary)
    (hasExpertise ?PERSON ActuaryScience))		 Biography.kif 357-359
(=>
    (attribute ?PERSON Anthropologist)
    (hasExpertise ?PERSON Anthropology))		 Biography.kif 365-367
(=>
    (attribute ?PERSON Archeologist)
    (hasExpertise ?PERSON Archeology))		 Biography.kif 373-375
(=>
    (attribute ?PERSON Architect)
    (hasExpertise ?PERSON Architecture))		 Biography.kif 380-382
(=>
    (attribute ?PERSON Astronomer)
    (hasExpertise ?PERSON Astronomy))		 Biography.kif 388-390
(=>
    (attribute ?PERSON Biologist)
    (hasExpertise ?PERSON Biology))		 Biography.kif 396-398
(=>
    (attribute ?PERSON Botanist)
    (hasExpertise ?PERSON Botany))		 Biography.kif 617-619
(=>
    (attribute ?PERSON Chemist)
    (hasExpertise ?PERSON Chemistry))		 Biography.kif 404-406
(=>
    (attribute ?PERSON ComputerScientist)
    (hasExpertise ?PERSON ComputerScience))		 Biography.kif 412-414
(=>
    (attribute ?PERSON Economist)
    (hasExpertise ?PERSON Economics))		 Biography.kif 420-422
(=>
    (attribute ?PERSON Engineer)
    (hasExpertise ?PERSON Engineering))		 Biography.kif 427-429
(=>
    (attribute ?PERSON Geographer)
    (hasExpertise ?PERSON Geography))		 Biography.kif 471-473
(=>
    (attribute ?PERSON Geologist)
    (hasExpertise ?PERSON Geology))		 Biography.kif 479-481
(=>
    (attribute ?PERSON Historian)
    (hasExpertise ?PERSON History))		 Biography.kif 486-488
(=>
    (attribute ?PERSON Librarian)
    (hasExpertise ?PERSON LibraryScience))		 Biography.kif 564-566
(=>
    (attribute ?PERSON Linguist)
    (hasExpertise ?PERSON Linguistics))		 Biography.kif 494-496
(=>
    (attribute ?PERSON Mathematician)
    (hasExpertise ?PERSON Mathematics))		 Biography.kif 501-503
(=>
    (attribute ?PERSON MedicalResearcher)
    (and
        (attribute ?PERSON Researcher)
        (hasExpertise ?PERSON MedicalScience)))		 Biography.kif 509-513
(=>
    (attribute ?PERSON Paleontologist)
    (hasExpertise ?PERSON Paleontology))		 Biography.kif 519-521
(=>
    (attribute ?PERSON Philosopher)
    (hasExpertise ?PERSON Philosophy))		 Biography.kif 526-528
(=>
    (attribute ?PERSON Physicist)
    (hasExpertise ?PERSON Physics))		 Biography.kif 548-550
(=>
    (attribute ?PERSON PoliticalScientist)
    (hasExpertise ?PERSON PoliticalScience))		 Biography.kif 556-558

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