SorbianLanguage - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 11089-11090
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6874-6874
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7926-7926
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11088-11088	索尔语是西斯拉夫语的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 11093-11093	较低的索布语是索尔语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11105-11105	上索尔语是索尔语的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53970-53970
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53969-53969
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53968-53968