Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| hasExpertise |
| appearance as argument number 1 |
|
| (instance hasExpertise BinaryPredicate) | Mid-level-ontology.kif 23553-23553 | has expertise is an instance of binary predicate |
| (domain hasExpertise 1 Human) | Mid-level-ontology.kif 23554-23554 | The number 1 argument of has expertise is an instance of human |
| (domainSubclass hasExpertise 2 FieldOfStudy) | Mid-level-ontology.kif 23555-23555 | The number 2 argument of has expertise is a subclass of field of study |
| (documentation hasExpertise EnglishLanguage "(hasExpertise ?PERSON ?FIELD) means that ?PERSON has studied the FieldOfStudy ?FIELD and is regarded as an expert.") | Mid-level-ontology.kif 23556-23557 | The number 2 argument of has expertise is a subclass of field of study |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage hasExpertise "%2 %p{has} %n{does not have} an expertise in %1") | domainEnglishFormat.kif 1139-1139 | |
| (format ChineseTraditionalLanguage hasExpertise "%2 %p{有} %n{沒有} 在 %1 的專業知識") | domainEnglishFormat.kif 1140-1140 | |
| (format ChineseLanguage hasExpertise "%2 %p{有} %n{没有} 在 %1 的专业知识") | domainEnglishFormat.kif 1141-1141 | |
| (termFormat EnglishLanguage hasExpertise "has expertise") | domainEnglishFormat.kif 27524-27524 | |
| (termFormat ChineseTraditionalLanguage hasExpertise "有專業知識") | domainEnglishFormat.kif 27525-27525 | |
| (termFormat ChineseLanguage hasExpertise "有专业知识") | 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 23388-23397 | If architecture has an expertise in X, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of content development (3) X is an agent of Y (4) Z is a result of Y (5) Z is an instance of blueprint (6) Z expresses W (7) W 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 23559-23566 | If X has an expertise in Y, then there exist Z, W such that Z is an instance of learning, Y is an agent of Z, W is an instance of X, and Z expresses the content of W |
| consequent |
|
|
|