BalochiLanguage - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 8986-8987
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9900-9900
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10485-10485
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10487-10487
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10488-10488
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10486-10486
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8985-8985	Balochi语言是西北伊朗语的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 8990-8990	巴什卡迪语言是 balochi语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8996-8996	东部balochi语言是 balochi语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 9014-9014	Koroshi语言是 balochi语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 9021-9021	南方的balochi语言是 balochi语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 9046-9046	西方balochi语言是 balochi语言的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9708-9708
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9707-9707
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9706-9706