duration - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2688-2690
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7524-7527
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7521-7521	The number 1 argument of duration is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7522-7522	The number 2 argument of duration is an instance of time duration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7519-7519	duration is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7518-7518	duration is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7520-7520	duration is an instance of total valued relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 413-413
No TPTP formula. May not be expressible in strict first order.	english_format.kif 422-422
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20679-20679
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 414-414
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20678-20678
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20677-20677

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 155-166	If a process is an instance of drawingA check and an entity is a patient of the process and another process is an instance of processingA check and the entity is a patient of the other process and the time of existence of the process is equal to the processTime and the time of existence of the other process is equal to the other processTime and the processTime meets a third time interval and the third time interval meets the other processTime and duration of the third time interval is a time duration, then the time duration is less than 6 month duration(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1451-1456	If an agreement is an instance of bank term loan and a time interval is an agreement period of the agreement and duration of the time interval is a real number year duration(s), then the real number is greater than or equal to 1
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8936-8940	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.	emotion.kif 1926-1939	If a process is an instance of speaking at a faster rate and another process is an instance of speaking at a slower rate and an unit of measure is an instance of UnitOfDuration and an agent is an agent of the process and the agent is an agent of the other process and the process contains information a proposition and the other process contains information the proposition and duration of the time of existence of the process is a real number the unit of measure(s) and duration of the time of existence of the other process is another real number the unit of measure(s), then the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2014-2023	If a physical is an instance of speaking a short utterance and another physical is an instance of speaking a long utterance and an unit of measure is an instance of UnitOfDuration and duration of the time of existence of the physical is a real number the unit of measure(s) and duration of the time of existence of the other physical is another real number the unit of measure(s), then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10821-10827	If a time point is an instance of time point and another time point is an instance of time point and a time interval is equal to interval between the time point and the other time point and duration of the time interval is a time duration, then the time interval is equal to a time that starts at the time point and lasts for the time duration
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3955-3959	If a time interval is a statement period of a bank statement and duration of the time interval is a time duration, then the time duration is equal to month duration

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8546-8551	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 8539-8544	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.	Merge.kif 7192-7196	If a time point is an instance of time point and the age of a physical is a time duration holds during the time point, then duration of interval between the beginning of the time of existence of the physical and the time point is the time duration
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 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)
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 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)
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 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)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1859-1863	If The Measuring for list a measuring list occurs at a time duration interval. and a physical is a member of the measuring list, then duration of the time of existence of the physical is the time duration
No TPTP formula. May not be expressible in strict first order.	Music.kif 116-124	If a recording is a time duration long and the recording is an instance of audio recording, then if a process is an instance of listening and the recording is a patient of the process, then duration of the time of existence of the process is the time duration
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 458-483	If the price of a kind of physical set by a cognitive agent according to a pricing scheme is a function quantity and the function quantity is equal to the per of a currency measure and the measure of a quantity is an unit of measure and the unit of measure is an instance of UnitOfDuration and an entity is an immediate instance of a kind of physical and a process is an instance of renting and the entity is a patient of the process and the kind of physical possesses the cognitive agent and an agent is an agent of the process and the process exists during the quantityINT, then for all another time interval if the quantityINT takes place during the other time interval and the other time interval is an instance of time interval and duration of the other time interval is a real number the unit of measure(s) and the real number is less than or equal to the quantity, then there exists a financial transaction such that the financial transaction is an instance of payment and the financial transaction ends up at the cognitive agent and the agent is an agent of the financial transaction and the currency measure is a transaction amount of the financial transaction
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1764-1768	If a time duration is a response time of an user request and the user request is a computer response of a computer response, then duration of the time of existence of the computer response is the time duration
No TPTP formula. May not be expressible in strict first order.	Dining.kif 997-1012	If an agent believes another agent is quick and the agent believes a third agent is slow and a process is an instance of a class and another process is an instance of the class and the class is a subclass of process and the other agent is an agent of the process and the third agent is an agent of the other process, then an unit of measure is an instance of UnitOfDuration and duration of the time of existence of the process is a real number the unit of measure(s) and duration of the time of existence of the other process is another real number the unit of measure(s) and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2880-2884	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)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8856-8866	If decomposition of a time interval into the time intervalTYPEs is equal to another kind of time interval, then for all a third time interval and a fourth time interval if the third time interval is an instance of the time intervalTYPE and the fourth time interval is an instance of another kind of time interval, then there exists a time duration such that duration of the third time interval is the time duration and duration of the fourth time interval is the time duration
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3745-3747	If a time interval is equal to the fiscal year starting of an agent and a kind of year, then duration of the time interval is 1 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1965-1973	If a consecutive time interval list is equal to ConsecutiveTimeIntervalList for at a time interval at a time duration is contained in TimeIntervalListFn, then the beginning of the time interval is equal to the beginning of the first of the consecutive time interval list and another time interval is a member of the consecutive time interval list and duration of the other time interval is the time duration
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2012-2016	If a list is equal to Mean3SecondWindSpeedListFn ending at a time interval in region a geographic area, then duration of the time interval is 2 minute duration(s)
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1275-1289	If there exist a time interval and another time interval such that a time duration is a dependency delay of a computer program and shutdown block is a dependency type of the computer program and another computer program has a dependency on the computer program and a computer process is an instance of computer process and the computer program is a program running of the computer process and another computer process is an instance of computer process and the other computer program is a program running of the other computer process and the time of existence of the other computer process is equal to the other time interval and a third time interval finishes the time interval and the time of existence of the other computer process is equal to the other time interval and the beginning of the third time interval is equal to the end of the other time interval, then duration of the third time interval is the time duration
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1259-1273	If there exist a time interval and another time interval such that a time duration is a dependency delay of a computer program and startup block is a dependency type of the computer program and another computer program has a dependency on the computer program and a computer process is an instance of computer process and the computer program is a program running of the computer process and another computer process is an instance of computer process and the other computer program is a program running of the other computer process and the time of existence of the other computer process is equal to the other time interval and the other time interval starts a third time interval and the time of existence of the computer process is equal to the time interval and the end of the third time interval is equal to the beginning of the time interval, then duration of the third time interval is the time duration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7537-7547	If a kind of process occurs every a time duration, then for all a time interval if duration of the time interval is the time duration, then there exists a time position such that the time position is a part of the time interval and there exists an entity such that the entity is an instance of a kind of process holds during the time position
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1642-1649	If the rate of inflation in a nation is a real number, then there exists an inflation such that the inflation is an instance of inflation and duration of the time of existence of the inflation is year duration and the nation experiences the inflation and the real number is an inflation rate of the inflation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8259-8261	If a time interval is an instance of Decade, then duration of the time interval is 1 DecadeDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8263-8265	If a time interval is an instance of Decade, then duration of the time interval is 10 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8709-8711	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.	Weather.kif 1629-1641	If a process is an instance of flash flooding, then there exist another process and a real number such that the other process is an instance of water motion and the other process causes the process and the time of existence of the other process meets the time of existence of the process and duration of the time of existence of the other process is the real number hour duration(s) and the real number is less than 6
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3719-3721	If a time interval is an instance of the fiscal year of an agent, then duration of the time interval is 1 year duration(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: