![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
| appearance as argument number 1 |
|
|
| (instance Pope ReligiousPosition) | People.kif 1322-1322 | Pope is an instance of religious position |
| (documentation Pope EnglishLanguage "The ReligiousPosition of head of the RomanCatholicChurch.") | People.kif 1323-1323 | Pope is an instance of religious position |
| (externalImage Pope "http://upload.wikimedia.org/wikipedia/commons/8/89/ 433px_Pope_Pius_VII.jpg") | pictureList.kif 6780-6780 | Pope is an instance of religious position |
| (externalImage Pope "http://upload.wikimedia.org/wikipedia/commons/9/91/ Popepiusix.jpg") | pictureList.kif 7599-7599 | Pope is an instance of religious position |
| (externalImage Pope "http://upload.wikimedia.org/wikipedia/commons/a/a8/ BentoXVI-30-10052007.jpg") | pictureList.kif 7600-7600 | Pope is an instance of religious position |
| (externalImage Pope "http://upload.wikimedia.org/wikipedia/commons/c/c5/ BentoXVI-28-10052007.jpg") | pictureList.kif 7601-7601 | Pope is an instance of religious position |
| (externalImage Pope "http://upload.wikimedia.org/wikipedia/en/e/ee/GestatorialChair1.jpg") | pictureList.kif 7602-7602 | Pope is an instance of religious position |
| (externalImage Pope "http://upload.wikimedia.org/wikipedia/en/a/a7/Holysee_arms.png") | pictureList.kif 7603-7603 | Pope is an instance of religious position |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Pope "pope") | domainEnglishFormat.kif 46626-46626 | |
| (termFormat ChineseTraditionalLanguage Pope "教皇") | domainEnglishFormat.kif 46627-46627 | |
| (termFormat ChineseLanguage Pope "教皇") | domainEnglishFormat.kif 46628-46628 |
| antecedent |
|
|
| (=> (occupiesPosition ?H Pope RomanCatholicChurch) (leader RomanCatholicChurch ?H)) |
People.kif 1325-1327 | If X holds the position of pope in roman catholic church, then X is a leader of roman catholic church |