TreeView Knowledge Base Browser - AtticGreekLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 8622-8623
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8519-8520
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8359-8359
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8518-8518	阁楼希腊语言是希腊团体语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 8523-8523	古希腊语是阁楼希腊语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8531-8531	卡帕多西亚希腊语是阁楼希腊语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8545-8545	希腊语是阁楼希腊语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8584-8584	Pontic希腊语是阁楼希腊语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8601-8601	罗马希腊语是阁楼希腊语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8608-8608	Yevanic希腊语是阁楼希腊语言的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8994-8994
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8993-8993
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8992-8992