TreeView Knowledge Base Browser - AlgerianSignLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 176-179
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10383-10383
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9877-9877
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10378-10378
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10379-10379
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10380-10380
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10381-10381
No TPTP formula. May not be expressible in strict first order.	Languages.kif 175-175	阿尔及利亚手语是聋人手语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6498-6498
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6497-6497
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6496-6496