HourDuration
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2580-2580 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7094-7094 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1287-1287 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7093-7093 | Hour duration is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7092-7092 | Hour duration is an instance of unit of duration |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9378-9378 | Hour is internally related to hour duration |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28701-28701 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28700-28700 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28699-28699 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3929-3937 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1685-1691 | A function quantity is equal to a real number miles per hour(s) if and only if the function quantity is equal to the real number mile(s) per 1 hour duration(s) |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3939-3945 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1613-1625 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9382-9384 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1093-1107 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2610-2623 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2923-2938 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1141-1141 | Anthrax disease incubation 1 hour duration(s) for 2 hour duration(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 336-336 | Botulism disease incubation 2 hour duration(s) for 8 day duration(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7088-7090 | A real number day duration(s) is equal to the real number and 24 hour duration(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7096-7098 | A real number hour duration(s) is equal to the real number and 60 minute duration(s) |