DayDuration - Sigma Knowledge base Browser

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	Day duration is an instance of time duration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7083-7083	Day 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 9232-9232	Day is internally related to day duration
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 9463-9467	If a time interval is an instance of month and duration of the time interval is an integer day duration(s), then the number of instances in decomposition of the time interval into days is equal to the integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 611-617	If a time interval is an instance of passover and duration of the time interval is a real number day duration(s), then the real number is equal to 7 or the real number is equal to 8
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7122-7126	If 1 month duration(s) is equal to a real number day duration(s), then the real number is greater than or equal to 28
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7128-7132	If 1 month duration(s) is equal to a real number day duration(s), then the real number is less than or equal to 31

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9073-9078	If a time interval is an instance of the month February and an entity is an instance of the entityEAR and the entity is an instance of leap year, then duration of the time interval is 29 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9066-9071	If a time interval is an instance of the month February and an entity is an instance of the entityEAR and the entity is not an instance of leap year, then duration of the time interval is 28 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 538-547	If a time interval is an instance of year and another time interval is an instance of Easter sunday and a third time interval is an instance of ascension thursday and the other time interval takes place during the time interval and the third time interval takes place during the time interval and the other time interval starts a fourth time interval and the third time interval finishes the fourth time interval, then duration of the fourth time interval is 40 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 473-482	If a time interval is an instance of year and another time interval is an instance of Easter sunday and a third time interval is an instance of palm sunday and the other time interval takes place during the time interval and the third time interval takes place during the time interval and the third time interval starts a fourth time interval and the other time interval finishes the fourth time interval, then duration of the fourth time interval is 8 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 559-568	If a time interval is an instance of year and another time interval is an instance of Easter sunday and a third time interval is an instance of Pentecost and the other time interval takes place during the time interval and the third time interval takes place during the time interval and the other time interval starts a fourth time interval and the third time interval finishes the fourth time interval, then duration of the fourth time interval is 50 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2744-2757	If a cognitive agent authored a hotel package and the hotel package is an instance of hotel package and an organization provides the hotel package and the hotel package specifies an integer days stay at a kind of hotel unit and an entity is an instance of a kind of hotel unit and the entity is an element of belongings of the organization and another cognitive agent buys the hotel package from the cognitive agent, then there exists a time position such that the time position is equal to the integer day duration(s) and the other cognitive agent is a guest at the organization holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9236-9238	If a time interval is an instance of day, then duration of the time interval is 1 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 580-582	If a time interval is an instance of hanukkah, then duration of the time interval is 8 day duration(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1579-1583	If an agreement is an instance of day loan, then a time interval is an agreement period of the agreement and duration of the time interval is 1 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9104-9106	If a time interval is an instance of April, then duration of the time interval is 30 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9160-9162	If a time interval is an instance of August, then duration of the time interval is 31 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9217-9219	If a time interval is an instance of December, then duration of the time interval is 31 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9052-9054	If a time interval is an instance of January, then duration of the time interval is 31 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9146-9148	If a time interval is an instance of July, then duration of the time interval is 31 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9132-9134	If a time interval is an instance of June, then duration of the time interval is 30 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9090-9092	If a time interval is an instance of March, then duration of the time interval is 31 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9118-9120	If a time interval is an instance of May, then duration of the time interval is 31 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9203-9205	If a time interval is an instance of November, then duration of the time interval is 30 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9189-9191	If a time interval is an instance of October, then duration of the time interval is 31 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9175-9177	If a time interval is an instance of September, then duration of the time interval is 30 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 455-457	If a time interval is an instance of lent, then duration of the time interval is 40 day duration(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2940-2944	If an agreement the attribute day order, then a time interval is an agreement period of the agreement and duration of the time interval is 1 day duration(s)

statement

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.	WMD.kif 419-419	Bubonic plague disease incubation 2 day duration(s) for 6 day duration(s)
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1240-1242	Covid disease incubation 1 day duration(s) for 14 day duration(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1911-1911	Crimean congo hemorrhagic fever disease incubation 5 day duration(s) for 13 day duration(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1903-1903	Diphtheria disease incubation 2 day duration(s) for 5 day duration(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1519-1519	Herpes b disease incubation 10 day duration(s) for 20 day duration(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1713-1713	Japanese encephalitis disease incubation 6 day duration(s) for 8 day duration(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2047-2047	Kyasanur forest disease disease incubation 3 day duration(s) for 8 day duration(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1743-1743	Marburg disease disease incubation 3 day duration(s) for 7 day duration(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1580-1580	Pertussis disease incubation 6 day duration(s) for 21 day duration(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 424-424	Pneumonic plague disease incubation 3 day duration(s) for 4 day duration(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1602-1602	Psittacosis disease incubation 6 day duration(s) for 19 day duration(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1824-1824	Rotavirus gastroenteritis disease incubation 1 day duration(s) for 3 day duration(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1682-1682	Saint louis encephalitis disease incubation 5 day duration(s) for 15 day duration(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1761-1761	Scarlet fever disease incubation 1 day duration(s) for 4 day duration(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1499-1499	Tetanus disease incubation 3 day duration(s) for 3 week duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7112-7114	1 Week duration(s) is equal to 7 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7139-7141	1 Year duration(s) is equal to 365 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7087-7089	A real number day duration(s) is equal to the real number and 24 hour duration(s)

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: