DayDuration - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DayDuration ChineseLanguage "这是时间单位，1日 = 24小时。")	chinese_format.kif 2579-2579
(documentation DayDuration EnglishLanguage "Time unit. 1 day = 24 hours.")	Merge.kif 6989-6989
(instance DayDuration TimeDuration)	Merge.kif 6988-6988	Day duration is an instance of time duration
(instance DayDuration UnitOfDuration)	Merge.kif 6987-6987	Day duration is an instance of UnitOfDuration

appearance as argument number 2

(relatedInternalConcept Day DayDuration)	Merge.kif 9130-9130	Day is internally related to day duration
(termFormat ChineseLanguage DayDuration "一天长度")	domainEnglishFormat.kif 18645-18645
(termFormat ChineseTraditionalLanguage DayDuration "一天長度")	domainEnglishFormat.kif 18644-18644
(termFormat EnglishLanguage DayDuration "day duration")	domainEnglishFormat.kif 18643-18643

antecedent

(=> (and (instance ?MONTH Month) (duration ?MONTH (MeasureFn ?NUMBER DayDuration))) (equal (CardinalityFn (TemporalCompositionFn ?MONTH Day)) ?NUMBER))	Merge.kif 9361-9365	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
(=> (and (instance ?P Passover) (duration ?P (MeasureFn ?N DayDuration))) (or (equal ?N 7) (equal ?N 8)))	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
(=> (equal (MeasureFn 1 MonthDuration) (MeasureFn ?NUMBER DayDuration)) (greaterThanOrEqualTo ?NUMBER 28))	Merge.kif 7026-7030	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
(=> (equal (MeasureFn 1 MonthDuration) (MeasureFn ?NUMBER DayDuration)) (lessThanOrEqualTo ?NUMBER 31))	Merge.kif 7032-7036	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

(=> (and (instance ?MONTH (MonthFn February ?YEAR)) (instance ?Y ?YEAR) (instance ?Y LeapYear)) (duration ?MONTH (MeasureFn 29 DayDuration)))	Merge.kif 8971-8976	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)
(=> (and (instance ?MONTH (MonthFn February ?YEAR)) (instance ?Y ?YEAR) (not (instance ?Y LeapYear))) (duration ?MONTH (MeasureFn 28 DayDuration)))	Merge.kif 8964-8969	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)
(=> (and (instance ?Y Year) (instance ?E EasterSunday) (instance ?A AscensionThursday) (during ?E ?Y) (during ?A ?Y) (starts ?E ?I) (finishes ?A ?I)) (duration ?I (MeasureFn 40 DayDuration)))	Media.kif 538-547	If a time interval is an instance of year and another time interval is an instance of EasterSunday and a third time interval is an instance of AscensionThursday 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)
(=> (and (instance ?Y Year) (instance ?E EasterSunday) (instance ?P PalmSunday) (during ?E ?Y) (during ?P ?Y) (starts ?P ?I) (finishes ?E ?I)) (duration ?I (MeasureFn 8 DayDuration)))	Media.kif 473-482	If a time interval is an instance of year and another time interval is an instance of EasterSunday and a third time interval is an instance of PalmSunday 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)
(=> (and (instance ?Y Year) (instance ?E EasterSunday) (instance ?P Pentecost) (during ?E ?Y) (during ?P ?Y) (starts ?E ?I) (finishes ?P ?I)) (duration ?I (MeasureFn 50 DayDuration)))	Media.kif 559-568	If a time interval is an instance of year and another time interval is an instance of EasterSunday 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)
(=> (and (propositionOwner ?HP ?AGENT) (instance ?HP HotelPackage) (accommodationProvider ?HP ?HOTEL) (roomStay ?HP ?NUM ?ROOM) (part ?ROOM ?HOTEL) (buys ?CUST ?AGENT ?HP)) (exists (?TI) (and (equal ?TI (MeasureFn ?NUM DayDuration)) (holdsDuring ?TI (guest ?CUST ?HOTEL)))))	Hotel.kif 2714-2726	If a hotel package authored a proposition 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 a kind of hotel unit is a part of the organization and a cognitive agent buys the hotel package from the proposition, then there exists a time position such that the time position is equal to the integer day duration(s) and the cognitive agent is a guest at the organization holds during the time position
(=> (attribute ?Order DayOrder) (and (agreementPeriod ?Order ?Period) (duration ?Period (MeasureFn 1 DayDuration))))	FinancialOntology.kif 2947-2951	If day order is an attribute of an agreement, then a time interval is an agreement period of the agreement and duration of the time interval is 1 day duration(s)
(=> (instance ?DAY Day) (duration ?DAY (MeasureFn 1 DayDuration)))	Merge.kif 9134-9136	If a time interval is an instance of day, then duration of the time interval is 1 day duration(s)
(=> (instance ?H Hanukkah) (duration ?H (MeasureFn 8 DayDuration)))	Media.kif 580-582	If a time interval is an instance of Hanukkah, then duration of the time interval is 8 day duration(s)
(=> (instance ?Loan DayLoan) (and (agreementPeriod ?Loan ?Period) (duration ?Period (MeasureFn 1 DayDuration))))	FinancialOntology.kif 1578-1582	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)
(=> (instance ?MONTH April) (duration ?MONTH (MeasureFn 30 DayDuration)))	Merge.kif 9002-9004	If a time interval is an instance of April, then duration of the time interval is 30 day duration(s)
(=> (instance ?MONTH August) (duration ?MONTH (MeasureFn 31 DayDuration)))	Merge.kif 9058-9060	If a time interval is an instance of August, then duration of the time interval is 31 day duration(s)
(=> (instance ?MONTH December) (duration ?MONTH (MeasureFn 31 DayDuration)))	Merge.kif 9115-9117	If a time interval is an instance of December, then duration of the time interval is 31 day duration(s)
(=> (instance ?MONTH January) (duration ?MONTH (MeasureFn 31 DayDuration)))	Merge.kif 8950-8952	If a time interval is an instance of January, then duration of the time interval is 31 day duration(s)
(=> (instance ?MONTH July) (duration ?MONTH (MeasureFn 31 DayDuration)))	Merge.kif 9044-9046	If a time interval is an instance of July, then duration of the time interval is 31 day duration(s)
(=> (instance ?MONTH June) (duration ?MONTH (MeasureFn 30 DayDuration)))	Merge.kif 9030-9032	If a time interval is an instance of June, then duration of the time interval is 30 day duration(s)
(=> (instance ?MONTH March) (duration ?MONTH (MeasureFn 31 DayDuration)))	Merge.kif 8988-8990	If a time interval is an instance of March, then duration of the time interval is 31 day duration(s)
(=> (instance ?MONTH May) (duration ?MONTH (MeasureFn 31 DayDuration)))	Merge.kif 9016-9018	If a time interval is an instance of May, then duration of the time interval is 31 day duration(s)
(=> (instance ?MONTH November) (duration ?MONTH (MeasureFn 30 DayDuration)))	Merge.kif 9101-9103	If a time interval is an instance of November, then duration of the time interval is 30 day duration(s)
(=> (instance ?MONTH October) (duration ?MONTH (MeasureFn 31 DayDuration)))	Merge.kif 9087-9089	If a time interval is an instance of October, then duration of the time interval is 31 day duration(s)
(=> (instance ?MONTH September) (duration ?MONTH (MeasureFn 30 DayDuration)))	Merge.kif 9073-9075	If a time interval is an instance of September, then duration of the time interval is 30 day duration(s)
(=> (instance ?T1 Lent) (duration ?T1 (MeasureFn 40 DayDuration)))	Media.kif 455-457	If a time interval is an instance of Lent, then duration of the time interval is 40 day duration(s)

statement

(diseaseIncubation Botulism (MeasureFn 2 HourDuration) (MeasureFn 8 DayDuration))	WMD.kif 336-336	Botulism disease incubation 2 hour duration(s) for 8 day duration(s)
(diseaseIncubation BubonicPlague (MeasureFn 2 DayDuration) (MeasureFn 6 DayDuration))	WMD.kif 419-419	Bubonic plague disease incubation 2 day duration(s) for 6 day duration(s)
(diseaseIncubation Covid19 (MeasureFn 1 DayDuration) (MeasureFn 14 DayDuration))	VirusProteinAndCellPart.kif 727-729	Covid disease incubation 1 day duration(s) for 14 day duration(s)
(diseaseIncubation CrimeanCongoHemorrhagicFever (MeasureFn 5 DayDuration) (MeasureFn 13 DayDuration))	WMD.kif 1902-1902	Crimean congo hemorrhagic fever disease incubation 5 day duration(s) for 13 day duration(s)
(diseaseIncubation Diphtheria (MeasureFn 2 DayDuration) (MeasureFn 5 DayDuration))	WMD.kif 1894-1894	Diphtheria disease incubation 2 day duration(s) for 5 day duration(s)
(diseaseIncubation HerpesB (MeasureFn 10 DayDuration) (MeasureFn 20 DayDuration))	WMD.kif 1510-1510	Herpes b disease incubation 10 day duration(s) for 20 day duration(s)
(diseaseIncubation JapaneseEncephalitis (MeasureFn 6 DayDuration) (MeasureFn 8 DayDuration))	WMD.kif 1704-1704	Japanese encephalitis disease incubation 6 day duration(s) for 8 day duration(s)
(diseaseIncubation KyasanurForestDisease (MeasureFn 3 DayDuration) (MeasureFn 8 DayDuration))	WMD.kif 2037-2037	Kyasanur forest disease disease incubation 3 day duration(s) for 8 day duration(s)
(diseaseIncubation MarburgDisease (MeasureFn 3 DayDuration) (MeasureFn 7 DayDuration))	WMD.kif 1734-1734	Marburg disease disease incubation 3 day duration(s) for 7 day duration(s)
(diseaseIncubation Pertussis (MeasureFn 6 DayDuration) (MeasureFn 21 DayDuration))	WMD.kif 1571-1571	Pertussis disease incubation 6 day duration(s) for 21 day duration(s)
(diseaseIncubation PneumonicPlague (MeasureFn 3 DayDuration) (MeasureFn 4 DayDuration))	WMD.kif 424-424	Pneumonic plague disease incubation 3 day duration(s) for 4 day duration(s)
(diseaseIncubation Psittacosis (MeasureFn 6 DayDuration) (MeasureFn 19 DayDuration))	WMD.kif 1593-1593	Psittacosis disease incubation 6 day duration(s) for 19 day duration(s)
(diseaseIncubation RotavirusGastroenteritis (MeasureFn 1 DayDuration) (MeasureFn 3 DayDuration))	WMD.kif 1815-1815	Rotavirus gastroenteritis disease incubation 1 day duration(s) for 3 day duration(s)
(diseaseIncubation SaintLouisEncephalitis (MeasureFn 5 DayDuration) (MeasureFn 15 DayDuration))	WMD.kif 1673-1673	Saint louis encephalitis disease incubation 5 day duration(s) for 15 day duration(s)
(diseaseIncubation ScarletFever (MeasureFn 1 DayDuration) (MeasureFn 4 DayDuration))	WMD.kif 1752-1752	Scarlet fever disease incubation 1 day duration(s) for 4 day duration(s)
(diseaseIncubation Tetanus (MeasureFn 3 DayDuration) (MeasureFn 3 WeekDuration))	WMD.kif 1490-1490	Tetanus disease incubation 3 day duration(s) for 3 week duration(s)
(equal (MeasureFn 1 WeekDuration) (MeasureFn 7 DayDuration))	Merge.kif 7016-7018	1 Week duration(s) is equal to 7 day duration(s)
(equal (MeasureFn 1 YearDuration) (MeasureFn 365 DayDuration))	Merge.kif 7043-7045	1 Year duration(s) is equal to 365 day duration(s)
(equal (MeasureFn ?NUMBER DayDuration) (MeasureFn (MultiplicationFn ?NUMBER 24) HourDuration))	Merge.kif 6991-6993	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: