TreeView Knowledge Base Browser - EastBirdsHeadLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 6437-6439
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6436-6436	EastBirdsHeadLanguage e' uma sub-classe de SpokenHumanLanguage

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 6442-6442	ManikionLanguage e' uma instancia de EastBirdsHeadLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6450-6450	MeyahLanguage e' uma instancia de EastBirdsHeadLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6460-6460	MoskonaLanguage e' uma instancia de EastBirdsHeadLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20832-20832
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20831-20831
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20830-20830