AmericanSignLanguage - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 182-230
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10399-10399
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10398-10398
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10397-10397
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4494-4494
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10396-10396
No TPTP formula. May not be expressible in strict first order.	Languages.kif 181-181	美国手语是聋人手语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7194-7194
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7193-7193
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7192-7192