IndependentChurch(Independent church) |
appearance as argument number 1 |
(subclass IndependentChurch LocalChurch) | People.kif 1169-1169 | Independent church is a subclass of local church |
appearance as argument number 2 |
(termFormat EnglishLanguage IndependentChurch "Independent church") | domainEnglishFormat.kif 65025-65025 |