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 21351-21352 | |
(domain hasExpertise 1 Human) | Mid-level-ontology.kif 21349-21349 | Die Zahl 1 Argument von hasExpertise ist ein fall von Human %n{nicht} |
(domainSubclass hasExpertise 2 FieldOfStudy) | Mid-level-ontology.kif 21350-21350 | Die Zahl 2 Argument von hasExpertise ist eine teilkategorie von FieldOfStudy %n{nicht} |
(instance hasExpertise BinaryPredicate) | Mid-level-ontology.kif 21348-21348 | hasExpertise ist ein fall von BinaryPredicate %n{nicht} |
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 27522-27522 | |
(termFormat ChineseTraditionalLanguage hasExpertise "有專業知識") | domainEnglishFormat.kif 27521-27521 | |
(termFormat EnglishLanguage hasExpertise "has expertise") | domainEnglishFormat.kif 27520-27520 |
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 21183-21192 |
|
(=> (hasExpertise ?PERSON ?FIELD) (exists (?LEARN ?SPECIALITY) (and (instance ?LEARN Learning) (agent ?LEARN ?PERSON) (instance ?SPECIALITY ?FIELD) (realization ?LEARN ?SPECIALITY)))) |
Mid-level-ontology.kif 21354-21361 |
|
consequent |