FrisianLanguage - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 7656-7657
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10025-10025
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11051-11051
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11052-11052
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7655-7655	弗里斯兰语是西德语的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 7660-7660	东弗里斯兰语是弗里斯兰语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7675-7675	北弗里斯兰语是弗里斯兰语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7701-7701	西弗里西亚语是弗里斯兰语的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25064-25064
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25063-25063
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25062-25062