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 | Abayah is a subclass of cloak |
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 |