Sunrise(sunrise)![]() | ![]() | aurora, break_of_day, break_of_the_day, cockcrow, dawn, dawning, daybreak, dayspring, first_light, morning, sunrise, sunup |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8976-8977 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2010-2010 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2386-2386 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8975-8975 | Sunrise is a subclass of time interval |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56105-56105 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56104-56104 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56103-56103 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |