finishes - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11599-11601
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11595-11597
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11603-11605
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11592-11592	The number 1 argument of finishes is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11593-11593	The number 2 argument of finishes is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11590-11590	finishes is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11588-11588	finishes is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11591-11591	finishes is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11589-11589	finishes is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11587-11587	finishes is a subrelation of temporal part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 421-421
No TPTP formula. May not be expressible in strict first order.	english_format.kif 594-594
No TPTP formula. May not be expressible in strict first order.	english_format.kif 595-595
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 422-422	"完成" is the printable form of finishes in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23809-23809	"饰面" is the printable form of finishes in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23808-23808	"飾面" is the printable form of finishes in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23807-23807	"finishes" is the printable form of finishes in english language

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 602-606	A time interval is an agreement period of a financial account and a day finishes the time interval if and only if the day is a maturity date of the financial account
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11607-11615	A time interval finishes another time interval if and only if the beginning of the other time interval happens before the beginning of the time interval and the end of the other time interval is equal to the end of the time interval
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.	QoSontology.kif 1265-1279	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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 661-673	If a process is an instance of ambulating and a time interval is equal to the time of existence of the process, then there exist another process and a third process such that the other process is an instance of stepping and the third process is an instance of stepping and the other process is a subprocess of the process and the third process is a subprocess of the process and the time of existence of the other process starts the time interval and the time of existence of the third process finishes the time interval and the other process is not equal to the third process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19101-19116	If a process is an instance of blushing and an agent experiences the process, then there exist a time interval, another time interval,, , an entity and another entity such that the entity is an instance of emotional state and the other entity is an instance of emotional state and the entity is not equal to the other entity and the entity is an attribute of the agent holds during the time interval and the other entity is an attribute of the agent holds during the other time interval and the time of existence of the process starts the other time interval and the time of existence of the process finishes the time interval
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2137-2144	If a process is an instance of check-in service and the process causes another process and a physical is an instance of check-out service, then the time of existence of the physical finishes the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14026-14035	If a process is an instance of falling asleep and an agent experiences the process, then there exist a time interval and another time interval such that the time interval starts the time of existence of the process and the other time interval finishes the time of existence of the process and awake is an attribute of the agent holds during the time interval and asleep is an attribute of the agent holds during the other time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13978-13983	If a time interval is an instance of ceasing operations and an agent is an instance of organization and the agent is an agent of the time interval, then the time interval finishes the time of existence of the agent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2837-2853	If an agreement is an instance of GTC order and a time interval is an agreement period of the agreement, then there exists a process such that the process is an instance of filling an order and the agreement is a patient of the process and the time of existence of the process is equal to another time interval and the time interval overlaps the other time interval or there exists another process such that the other process is an instance of cancelling an order and the agreement is a patient of the other process and the time of existence of the other process is equal to a third time interval and the third time interval finishes the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 159-171	If a physical is an instance of OrganismRemains and an entity is a part of the physical holds during a time position, then there exist another physical and a time interval such that the other physical is an instance of organism and the time of existence of the other physical happens earlier than the time of existence of the physical and the time interval is an instance of time interval and the time interval finishes the time of existence of the other physical and the entity is a part of the other physical holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15449-15472	If a process is an instance of translocation and another process is an instance of translocation and the process originates at an object and the other process originates at another object and the process ends up at the other object and the other process ends up at an entity and an agent experiences the process and the agent experiences the other process, then there exists a third process such that the third process is an instance of translocation and the third process originates at the object and the third process ends up at the entity and the process is a subprocess of the third process and the other process is a subprocess of the third process and the agent experiences the third process and the time of existence of the process starts the time of existence of the third process and the time of existence of the other process finishes the time of existence of the third process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14041-14050	If a process is an instance of waking up and an agent experiences the process, then there exist a time interval and another time interval such that the time interval starts the time of existence of the process and the other time interval finishes the time of existence of the process and asleep is an attribute of the agent holds during the time interval and awake is an attribute of the agent holds during the other time interval
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3677-3717	If an object is an instance of CarAlarm and another object is an instance of self powered road vehicle and the object is a part of the other object, then the object purpose if an entity is an instance of stealing or the entity is an instance of damaging and another entity is an instance of human and the other entity is an agent of the entity and the other object is a patient of the entity and the time of existence of the entity is equal to a third entity and the entity is partly located at a fourth entity, then there exists a fifth entity such that the fifth entity is an instance of radiating sound and the object is an agent of the fifth entity and the entity causes the fifth entity and the fifth entity purpose there exists a sixth entity such that the sixth entity is an instance of human and the sixth entity is near to the fourth entity holds during the third entity increases likelihood of the sixth entity knows there exists a seventh entity such that the seventh entity is an instance of stealing or the seventh entity is an instance of damaging and the seventh entity is partly located at the fourth entity and the other object is a patient of the seventh entity holds during the third entity or the time of existence of the fifth entity finishes the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18117-18126	If a kind of organic object is the meat of a kind of animal and an entity is an instance of a kind of organic object, then there exist a time interval and a physical such that the physical is an instance of a kind of animal and the time interval finishes the time of existence of the physical and the entity is a part of the physical holds during the time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2728-2740	If an agreement the attribute european style option and the agreement has expiration a time interval, then there exist another time interval and a third time interval such that the other time interval is an instance of time interval and the other time interval finishes the time interval and if a physical is an instance of exercise an option and the time of existence of the physical is equal to the third time interval, then the third time interval is a part of the other time interval
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 a day is a date of statement of the bank statement, then the day finishes the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13100-13105	If decomposition of a time interval into the time interval-TYPEs is equal to another kind of time interval, then there exists a third time interval such that the third time interval is an instance of another kind of time interval and the third time interval finishes the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13107-13117	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 if the third time interval is an instance of another kind of time interval and the third time interval doesn't finish the time interval, then there exists a fourth time interval such that the fourth time interval is an instance of the other kind of time interval and the third time interval meets the fourth time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16857-16864	If a time interval is an instance of ante meridiem, then there exist a kind of day, another time interval and a third time interval such that the other time interval is an instance of the hour 24 and the other time interval starts the time interval and the third time interval is an instance of the hour 12 and the third time interval finishes the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14873-14879	If a process is an instance of arriving, then there exists another process such that the other process is an instance of translocation and the process is a subprocess of the other process and the time of existence of the process finishes the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1410-1419	If a time interval is an instance of divorcing, then there exist an entity, another entity,, , another time interval and a third time interval such that the entity is the spouse of the other entity holds during the other time interval and not the entity is the spouse of the other entity holds during the third time interval and the other time interval finishes the time interval and the third time interval starts the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16834-16841	If a time interval is an instance of day time, then there exist another time interval and a third time interval such that the other time interval is an instance of sunrise and the third time interval is an instance of sunset and the other time interval starts the time interval and the third time interval finishes the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11953-11960	If a time interval is an instance of the recurring period from another kind of time interval to a third kind of time interval, then there exist a fourth time interval and a fifth time interval such that the fourth time interval is an instance of another kind of time interval and the fifth time interval is an instance of a third kind of time interval and the fourth time interval starts the time interval and the fifth time interval finishes the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12021-12023	If a time position is an instance of time interval, then immediately before the time position finishes before the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16847-16852	If a time interval is an instance of morning, then there exists another time interval such that the other time interval is an instance of the hour 12 and the other time interval finishes the time interval
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 272-286	If a time interval is an instance of muakhar sadaq, then there exist an agent, an entity,, , another time interval and a third time interval such that the agent is an agent of the time interval and the time interval originates at the agent and the time interval ends up at the entity and the entity is the wife of the agent holds during the other time interval and the entity is the wife of the agent doesn't hold during the third time interval and the other time interval finishes the time interval and the other time interval happens before the third time interval and the third time interval starts the time interval
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 292-306	If a time interval is an instance of muqaddam sadaq, then there exist an agent, an entity,, , another time interval and a third time interval such that the agent is an agent of the time interval and the time interval originates at the agent and the time interval ends up at the entity and the entity is the wife of the agent doesn't hold during the other time interval and the entity is the wife of the agent holds during the third time interval and the other time interval finishes the time interval and the other time interval happens before the third time interval and the third time interval starts the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17492-17498	If a physical is an instance of negotiating, then the physical purpose there exists an entity such that the entity is an instance of committing and the entity is a subprocess of the physical and the time of existence of the entity finishes the time of existence of the physical

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.

Media.kif 1972-1980

There exists a time interval such that the time interval is an instance of time interval and the time interval finishes the time of existence of JesusOfNazareth and the time interval starts the time of existence of TwelveApostles and for all an entity

if the entity is a member of TwelveApostles holds during the time interval,
then JesusOfNazareth is a friend of the entity holds during the time interval

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: