Lent
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 415-421 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 413-413 | Lent 是 ChristianHoliday 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Media.kif 414-414 | Lent 是 可动的假期 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65110-65110 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 437-444 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 446-453 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 455-457 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 423-428 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 430-435 |