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 7975-7978
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1411-1413
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7972-7972	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 7973-7973	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 7970-7970	duration is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7971-7971	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 419-419
No TPTP formula. May not be expressible in strict first order.	french_format.kif 241-241
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 85-85
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2035-2035
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 193-193
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 119-119
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 246-246
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 536-536
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 125-125
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 262-262
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 261-261
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 185-185
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20697-20697
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 20696-20696
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20695-20695
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 186-186

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3987-4007	If attention deficit hyperactivity disorder is an attribute of an agent and attention deficit hyperactivity disorder is not an attribute of another agent and the agent is not equal to the other agent 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 intentional psychological process and the agent is an agent of the process and the other agent is an agent of the other process and duration of the time of existence of the process is a time duration and duration of the time of existence of the other process is another time duration, then the statement the other time duration is greater than the time duration has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6856-6863	If an entity is an attribute of another entity holds during a time interval and the other entity is an instance of chronic disease and duration of the time interval is a real number, then the real number is greater than 3 month duration(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 157-168	If a process is an instance of drawing a check and an entity is a patient of the process and another process is an instance of processing a 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 real number month duration(s), then the real number is less than 6
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1534-1541	If a process is an instance of wind gust and the process is located at an object and the object is an instance of geographic area and duration of the time of existence of the process is a real number second duration(s), then the real number is greater than or equal to 20
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1513-1518	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.	Medicine.kif 455-471	If a process is an instance of measuring breathing and an agent is an agent of the process and an object is an instance of lung and the object is a part of another object and a time interval is an instance of time interval and the time interval takes place during the time of existence of the process and duration of the time interval is minute duration and the other object is a patient of the process, then there exists an entity such that the agent knows the object breathes at a rate of the entity breaths per the time interval holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9584-9588	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.	Weather.kif 1514-1521	If a process is an instance of squall and the process is located at an object and the object is an instance of geographic area and duration of the time of existence of the process is a real number minute duration(s), then the real number is greater than or equal to 1
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2016-2029	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 unit of duration 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 2102-2111	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 unit of duration 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.	Medicine.kif 6014-6034	If a time interval is an instance of TimePeriod and duration of the time interval is a real number minute duration(s) and the real number is greater than 5.0 and an entity is an instance of human and there doesn't exist a process such that the process is an instance of breathing and the time of existence of the process takes place during the time interval and the entity is a patient of the process, then the statement there exists another entity such that the other entity is an instance of death and the entity experiences the other entity and the time interval meets the time of existence of the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15411-15417	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.	Mid-level-ontology.kif 18748-18774	If a function quantity amount as resource for the Process a process and the function quantity is an instance of function quantity and an object is a resource for the process and the function quantity is equal to the per of a real number an unit of measure(s) and another real number another unit of measure(s) and duration of the time of existence of the process is a third real number the other unit of measure(s) and the measure of the object is a fourth real number the unit of measure(s) holds during the beginning of the time of existence of the process and the measure of the object is a physical quantity the unit of measure(s) holds during the end of the time of existence of the process, then the physical quantity is equal to (the fourth real number and the third real number and the real number and the other real number) the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4082-4086	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.	Weather.kif 2364-2369	If a time interval is a member of a consecutive time interval list and the consecutive time interval list is equal to ConsecutiveTimeIntervalList for at another time interval at a time duration is contained in TimeIntervalListFn, then duration of the time interval is the time duration
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17834-17846	If a process is an instance of insomnia and a cognitive agent experiences the process, then there exist another process, a time duration and the time duration2 such that the other process is an instance of sleeping and the cognitive agent experiences the other process and duration of the time of existence of the other process is the time duration and the cognitive agent desires duration of the time of existence of the other process is the time duration2 and the time duration2 is greater than the time duration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9171-9176	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 9164-9169	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 7554-7558	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 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.	Weather.kif 2249-2253	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 118-124	If a recording is a time duration long and the recording is an instance of audio recording and 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 467-492	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 real number is an unit of measure and the unit of measure is an instance of unit of duration 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 an agent is an agent of the process and the process exists during the real numberINT, then for all another time interval if there exists another real number such that the real numberINT 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 the other real number the unit of measure(s) and the other real number is less than or equal to the real number, 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 1890-1894	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.	QoSontology.kif 769-779	If the startup time delay of a computer program is a time duration and a computer process is an instance of computer process and the computer program is a program running of the computer process and the time of existence of the computer process is equal to a time interval and a physical is an instance of computer process and the time of existence of the physical is equal to another time interval and the time interval meets a third time interval and the third time interval meets 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.	Dining.kif 1044-1059	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 unit of duration 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.	Merge.kif 9504-9514	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 4081-4083	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 2408-2412	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 1379-1393	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 1363-1377	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 7987-7997	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.	Merge.kif 8868-8870	If a time interval is an instance of decade, then duration of the time interval is 1 decade duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8872-8874	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 9334-9336	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 2019-2031	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.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4053-4055	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: