NightTime
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8925-8926 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8924-8924 | NightTime e' uma sub-classe de Intervalo Temporal |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8896-8896 | DayTime e' disjunto de NightTime |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8946-8946 | Evening e' uma sub-classe de NightTime |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40553-40553 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40552-40552 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40551-40551 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2733-2754 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8928-8935 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8937-8944 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 419-426 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8906-8913 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1884-1889 |
|