| DayDuration | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2579-2579 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7085-7085 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1286-1286 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7084-7084 | DayDuration est une instance de dur�e temporel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7083-7083 | DayDuration est une instance de UnitOfDuration |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9254-9254 | Jour est reli� � l'int�rieur de SUMO � DayDuration |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18654-18654 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18653-18653 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18652-18652 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9485-9489 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 611-617 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7122-7126 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7128-7132 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9095-9100 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9088-9093 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 538-547 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 473-482 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 559-568 |
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2744-2757 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9258-9260 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 580-582 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1579-1583 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9126-9128 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9182-9184 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9239-9241 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9074-9076 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9168-9170 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9154-9156 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9112-9114 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9140-9142 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9225-9227 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9211-9213 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9197-9199 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 455-457 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2940-2944 |
|
| statement |
|
|
| 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. | WMD.kif 419-419 | diseaseIncubation BubonicPlague, 2 DayDuration(s) and 6 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1239-1241 | diseaseIncubation Covid19, 1 DayDuration(s) and 14 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1911-1911 | diseaseIncubation CrimeanCongoHemorrhagicFever, 5 DayDuration(s) and 13 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1903-1903 | diseaseIncubation Diphtheria, 2 DayDuration(s) and 5 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1519-1519 | diseaseIncubation HerpesB, 10 DayDuration(s) and 20 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1713-1713 | diseaseIncubation JapaneseEncephalitis, 6 DayDuration(s) and 8 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 2047-2047 | diseaseIncubation KyasanurForestDisease, 3 DayDuration(s) and 8 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1743-1743 | diseaseIncubation MarburgDisease, 3 DayDuration(s) and 7 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1580-1580 | diseaseIncubation Pertussis, 6 DayDuration(s) and 21 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 424-424 | diseaseIncubation PneumonicPlague, 3 DayDuration(s) and 4 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1602-1602 | diseaseIncubation Psittacosis, 6 DayDuration(s) and 19 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1824-1824 | diseaseIncubation RotavirusGastroenteritis, 1 DayDuration(s) and 3 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1682-1682 | diseaseIncubation SaintLouisEncephalitis, 5 DayDuration(s) and 15 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1761-1761 | diseaseIncubation ScarletFever, 1 DayDuration(s) and 4 DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1499-1499 | diseaseIncubation Tetanus, 3 DayDuration(s) and 3 WeekDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7112-7114 | 1 WeekDuration(s) est DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7139-7141 | 1 YearDuration(s) est DayDuration(s) |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7087-7089 | Nombre r�el DayDuration(s) est nombre r�el + 24 HourDuration(s) |
|
|
|