DardicLanguage - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 8804-8805
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8803-8803	Dardic语言是西北区印度雅利安语的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 14633-14633	KashmiriLanguage 是 dardic语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8809-8809	Kunar语言是 dardic语言的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18516-18516
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18515-18515
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18514-18514