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 7374-7377
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7371-7371	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 7372-7372	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 7369-7369	duration is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7368-7368	duration is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7370-7370	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 20617-20617	"持续时间" is the printable form of duration in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 414-414	"时段" is the printable form of duration in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20616-20616	"持續時間" is the printable form of duration in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20615-20615	"duration" is the printable form of duration in english language

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 1438-1443	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 8781-8785	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 1919-1929	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 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 time duration and duration of the time of existence of the other process is another time duration, then the time duration is greater than the other time duration
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2004-2010	If a physical is an instance of speaking a short utterance and another physical is an instance of speaking a long utterance and duration of the time of existence of the physical is a time duration and duration of the time of existence of the other physical is another time duration, then the other time duration is greater than the time duration
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11648-11654	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 3906-3910	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 8391-8396	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 8384-8389	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 7046-7050	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.	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 450-472	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 a physical quantity 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 physical quantityINT, then for all another time interval if the physical 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 time duration and the time duration is less than or equal to the physical 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-1009	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 set or class and another process is an instance of the set or class and the set or 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 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 and the other time duration is greater than the time duration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8701-8711	If decomposition of a time interval into the time interval-TYPEs 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 interval-TYPE 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.	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 7387-7395	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 1629-1636	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 8105-8107	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 8109-8111	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 8554-8556	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.	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)
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.	Merge.kif 8664-8666	If a time interval is an instance of hour, then duration of the time interval is 1 hour duration(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1521-1525	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 8674-8676	If a time interval is an instance of minute, then duration of the time interval is 1 minute duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8422-8424	If a time interval is an instance of April, then duration of the time interval is 30 day 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: