| Morning(morning)
| | early-morning_hour, forenoon, morn, morning, morning_time |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8777-8777 | Morning is disjoint from afternoon |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8779-8779 | Morning is disjoint from evening |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8790-8791 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3161-3161 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2976-2976 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3162-3162 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8789-8789 | Morning is a subclass of day time |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8805-8805 | The range of morning fn is an instance of morning |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38559-38559 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38558-38558 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38557-38557 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8810-8815 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8793-8799 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1218-1223 |
|
|
|
|