Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Deity
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Deity CognitiveAgent) | People.kif 689-689 | Deity is a subclass of cognitive agent |
| (documentation Deity EnglishLanguage "A Deity is a CognitiveAgent with the rank or essential nature of a god. Includes both monotheistic and polytheistic gods.") | People.kif 690-691 | Deity is a subclass of cognitive agent |
| appearance as argument number 2 |
|
|
| (subclass Angel Deity) | Media.kif 1929-1929 | Angel is a subclass of deity |
| (instance God Deity) | People.kif 693-693 | God is an instance of deity |
| (termFormat EnglishLanguage Deity "deity") | domainEnglishFormat.kif 18954-18954 | God is an instance of deity |
| (termFormat ChineseTraditionalLanguage Deity "神") | domainEnglishFormat.kif 18955-18955 | God is an instance of deity |
| (termFormat ChineseLanguage Deity "神") | domainEnglishFormat.kif 18956-18956 | God is an instance of deity |
|