| Buddhism(buddhism) | | Buddhism, Hinayana, Hinayana_Buddhism, Lamaism, Mahayana, Mahayana_Buddhism, Shingon, Theravada, Theravada_Buddhism, Tibetan_Buddhism, Zen, Zen_Buddhism |
| appearance as argument number 1 |
|
|
| (documentation Buddhism EnglishLanguage "Buddhism is one of the major religions to emerge from Asia.") | People.kif 763-764 | |
| (instance Buddhism BeliefGroup) | People.kif 762-762 | Buddhism is an instance of belief group |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Buddhism "佛教") | domainEnglishFormat.kif 12225-12225 | |
| (termFormat ChineseTraditionalLanguage Buddhism "佛教") | domainEnglishFormat.kif 12224-12224 | |
| (termFormat EnglishLanguage Buddhism "buddhism") | domainEnglishFormat.kif 12223-12223 |
| consequent |
|
|
| (<=> (attribute ?INDIVIDUAL Buddhist) (member ?INDIVIDUAL Buddhism)) |
People.kif 769-771 | Buddhist is an attribute of an object if and only if the object is a member of buddhism |
|
|
|