Abayah(阿巴亞) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 523-525 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 527-527 | 子類 阿巴亞 and 披風 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5028-5028 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5027-5027 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5026-5026 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 533-539 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 529-531 |