|
|
  nationalHoliday
|
|
|
| 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 7093-7093 | |
| 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 7092-7092 | HourDuration e' uma instancia de Duracao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7091-7091 | HourDuration e' uma instancia de UnitOfDuration |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9342-9342 | Hora e' relacionado internamente por SUMO a HourDuration |
| 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 1702-1708 | Funcao de Quantidade e' igual a Numero Real MilesPerHour(s) Funcao de Quantidade e' igual a Numero Real Mile(s) por 1 HourDuration(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 1630-1642 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9346-9348 |
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1109-1123 |
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2627-2640 |
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2940-2955 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1141-1141 | diseaseIncubation Anthrax, 1 HourDuration(s) and 2 HourDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 336-336 | diseaseIncubation Botulism, 2 HourDuration(s) and 8 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7087-7089 | Numero Real DayDuration(s) e' igual a Numero Real + 24 HourDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7095-7097 | Numero Real HourDuration(s) e' igual a Numero Real + 60 MinuteDuration(s) |
|
|
|