TreeView Knowledge Base Browser - GreatAndamaneseLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5367-5368
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5366-5366	伟大的安达曼语言是 andamanese语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5372-5372	中央伟大的andamanese语言是伟大的安达曼语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5431-5431	北方伟大的佛罗伦萨语是伟大的安达曼语言的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26526-26526
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26525-26525
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26524-26524