BeginFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2697-2698
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7599-7600
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7596-7596	The number 1 argument of begin is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7593-7593	Begin is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7595-7595	Begin is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7594-7594	Begin is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7597-7597	The range of begin is an instance of time point

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 449-449
No TPTP formula. May not be expressible in strict first order.	english_format.kif 458-458
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10577-10577
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 450-450
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10576-10576
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10575-10575

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7852-7860	If the beginning of a time interval is equal to the beginning of another time interval and the end of the time interval is equal to the end of the other time interval, then the time interval is equal to the other time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20847-20852	If a time point is equal to the beginning of the time of existence of a process and another time point is equal to the end of the time of existence of an agent and the agent is a beneficiary of the process, then the time point happens before the other time point
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27803-27812	If a time point is equal to the beginning of the time of existence of a process and another time point is equal to the end of the time of existence of an agent and the agent suffers from the process, then the time point happens before the other time point
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 675-688	If a process is an instance of ambulating and another process is a subprocess of the process and the other process is an instance of stepping and a third process is a subprocess of the process and the third process is an instance of stepping and the other processSTART is equal to the beginning of the time of existence of the other process and the third processSTART is equal to the beginning of the time of existence of the third process and the other processSTART happens before the third processSTART and the third processSTART happens before the other processSTART, then the other process is equal to the third process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3963-3988	If an AccessingWebPage is an instance of AccessingWebPage and an entity is an instance of WebPage and a process is an instance of data transfer and an object is an instance of server and another process is an instance of requesting and an agent is an instance of web browser and a time interval is an instance of time interval and the entity is a patient of the AccessingWebPage and the agent is an agent of the other process and the other process ends up at the object and the entity is a patient of the other process and the process originates at the object and the process ends up at the agent and the entity is a patient of the process and the process is a subprocess of the AccessingWebPage and the other process is a subprocess of the AccessingWebPage and the end of the time of existence of the other process is equal to the beginning of the time interval and the end of the time of existence of the process is equal to the end of the time interval, then the time to access in the AccessingWebPage is equal to the time interval
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2347-2358	If a time interval is an instance of BringingGEToFront and an entity is a patient of the time interval and the entity is an instance of InterfaceWindow and the entity has state an attribute holds during the beginning of the time interval and the attribute is the opposite of GUE_UncoveredState, then not the entity has state the attribute holds during the end of the time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1041-1053	If a financial account is an instance of certificate of deposit and a day is a maturity date of the financial account and a process is an instance of withdrawal and the process originates at the currency of the financial account and date of the process is another day and the end of the other day happens before the beginning of the day, then there exists another process such that the other process is an instance of penalty and the other process ends up at the currency of the financial account and the process causes the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10902-10909	If a process is an instance of change of possession and an entity is a patient of the process and another entity possesses the entity holds during the beginning of the time of existence of the process and a third entity possesses the entity holds during the end of the time of existence of the process, then the other entity is not equal to the third entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8211-8218	If a time interval is an instance of the day a positive integer and another time interval is an instance of the day another positive integer and a time point is equal to the beginning of the time interval and another time point is equal to the beginning of the other time interval and the other positive integer is greater than the positive integer, then the time point happens before the other time point
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2435-2448	If a process is an instance of exporting and an entity is a patient of the process and another entity is an instance of geopolitical area and the entity is located at the other entity holds during the beginning of the time of existence of the process, then there exists the other entity2 such that the other entity2 is an instance of geopolitical area and the other entity1 は the other entity2 の geopolitical 部分では not and the other entity2 は the other entity1 の geopolitical 部分では not and the entity is located at the other entity2 holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2424-2433	If a process is an instance of exporting and an entity is a patient of the process and another entity is an instance of geopolitical area and the entity is located at the other entity holds during the beginning of the time of existence of the process, then the entity is not located at the other entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2459-2469	If a process is an instance of exporting and an entity is a patient of the process and an object is an instance of geopolitical area and a physical is an instance of geopolitical area and the entity is located at the object holds during the beginning of the time of existence of the process and the entity is located at the physical holds during the end of the time of existence of the process, then the physical is not located at the object
No TPTP formula. May not be expressible in strict first order.	Media.kif 587-597	If a time interval is an instance of Hanukkah and a time point is equal to the beginning of the time interval, then there exists a time position such that the time point is a part of the time position and the time position is an instance of month and the time position is an instance of November or the time position is an instance of December
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1353-1358	If a time interval is an instance of loan and a time point is equal to the beginning of the time interval and a currency measure is a total balance of the time interval, then the time interval current account balance the time point for the currency measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8195-8202	If a time interval is an instance of the month a kind of month and another time interval is an instance of the month another kind of month and a time point is equal to the beginning of the time interval and another time point is equal to the beginning of the other time interval and %2 is the successorClass of %2., then the time point happens before the other time point
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17392-17404	If a process is an instance of oxidation and an entity is a patient of the process and a quantity is an electron number of the entity holds during the beginning of the time of existence of the process, then there exists another quantity such that the other quantity is less than the quantity and the other quantity is an electron number of the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15230-15245	If a time interval is an instance of pulling and the time interval originates at an object and an agent is an agent of the time interval and the agent is located at the agentLOC holds during the beginning of the time interval and the time interval ends up at another entity, then the distance between the agentLOC and the other entity is a third entity and the distance between the agentLOC and the object is a fourth entity and the fourth entity is greater than the third entity holds during immediately after the beginning of the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15211-15226	If a time interval is an instance of pushing and the time interval originates at an object and an agent is an agent of the time interval and the agent is located at the agentLOC holds during the beginning of the time interval and the time interval ends up at another entity, then the distance between the agentLOC and the other entity is a third entity and the distance between the agentLOC and the object is a fourth entity and the fourth entity is greater than the third entity holds during immediately after the beginning of the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1702-1724	If a time interval is an instance of the time interval_CLASS and the time interval_CLASS is a subclass of process and an AccessingWebPage is an instance of AccessingWebPage and an agent is an instance of agent and the agent is an agent of the time interval and the agent is an agent of the AccessingWebPage and the time interval takes place during the AccessingWebPage and a physical is an instance of time interval and there doesn't exist the time interval2 such that the time interval2 is an instance of the time interval_CLASS and the agent is an agent of the time interval2 and the time interval2 takes place during the AccessingWebPage and the beginning of the time of existence of the time interval2 happens before the beginning of the time of existence of the time interval and the beginning of the time of existence of the AccessingWebPage is equal to the beginning of the time of existence of the physical and the beginning of the time of existence of the time interval is equal to the end of the time of existence of the physical, then the time of the AccessingWebPage in the class the time interval_CLASS is equal to the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17375-17386	If a process is an instance of chemical reduction and an entity is a patient of the process and a quantity is an electron number of the entity holds during the beginning of the time of existence of the process, then another quantity is greater than the quantity and the other quantity is an electron number of the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15102-15107	If a process is an instance of reversing and an entity is a patient of the process and the top of the entity is another entity and the bottom of the entity is a third entity holds during the beginning of the time of existence of the process, then the top of the entity is the third entity and the bottom of the entity is the other entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8179-8186	If a time interval is an instance of the year an integer and another time interval is an instance of the year another integer and a time point is equal to the beginning of the time interval and another time point is equal to the beginning of the other time interval and the other integer is greater than the integer, then the time point happens before the other time point
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2610-2626	If an agreement the attribute option and a cognitive agent holds the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval and the financial instrument is an underlier of the agreement, then the cognitive agent has the right to perform the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2564-2580	If an agreement the attribute option and a cognitive agent holds the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is an underlier of the agreement and the financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval, then the cognitive agent has the right to perform the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2628-2644	If an agreement the attribute option and a cognitive agent sells the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval and the financial instrument is an underlier of the agreement, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11585-11592	A process is an instance of combining and an object is a resource for the process and an entity is a result of the process if and only if the object is not a part of the entity holds during the beginning of the time of existence of the process and the object is a part of the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7782-7786	A physical exists during a time point and the time point is an instance of time point if and only if the time point is between or at the beginning of the time of existence of the physical and the end of the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7874-7876	A time interval happens earlier than another time interval if and only if the end of the time interval happens before the beginning of the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7680-7688	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.	Merge.kif 11902-11909	A process is an instance of creation if and only if there exists a physical such that the physical is a patient of the process and the physical exists during the end of the time of existence of the process and the physical doesn't exist during the beginning of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11450-11457	A process is an instance of destruction if and only if there exists a physical such that the physical is a patient of the process and the physical exists during the beginning of the time of existence of the process and the physical doesn't exist during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7846-7850	A time interval meets another time interval if and only if the end of the time interval is equal to the beginning of the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7658-7666	A time interval starts another time interval if and only if the beginning of the time interval is equal to the beginning of the other time interval and the end of the time interval happens before the end of the other time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 615-627	If a financial account amount due a currency measure for a time position and a cognitive agent holds account the financial account, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 1938-1943	If a day is a birthdate of JesusOfNazareth and a time interval is an instance of the year -6 and another time interval is an instance of the year 4, then the day is a part of interval between the beginning of the time interval and the end of the other time interval
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 663-674	If one must check out before a time point at a cognitive agent and another cognitive agent is a guest at the cognitive agent, then the cognitive agent expects there exist an entity and another entity such that the entity is an instance of the time point and the other cognitive agent is a patient of the other entity and the other entity is an instance of check-out service and the cognitive agent is an agent of the other entity and the beginning of the time of existence of the other entity happens before the entity will be true
No TPTP formula. May not be expressible in strict first order.	Media.kif 1945-1950	If a day is a deathdate of JesusOfNazareth and a time interval is an instance of the year 29 and another time interval is an instance of the year 36, then the day is a part of interval between the beginning of the time interval and the end of the other time interval
No TPTP formula. May not be expressible in strict first order.	Communications.kif 202-214	If a process ends up at an object and the process is an instance of messaging and an entity is a patient of the process and the object is an instance of telex, then there exist another process and another entity such that the object is an instrument for the other process and the other entity is a result of the other process and the other entity expresses the entity and the other entity is an instance of text and the beginning of the time of existence of the process happens before the beginning of the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28869-28875	If a kind of physical was firstInstanceCreated at a time point and another physical is an instance of a kind of physical, then the time point happen%{s} before or at the beginning of the time of existence of the other physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3705-3712	If a formula holds during a time interval and another formula holds during another time interval and the other time interval is an instance of time interval and the time interval is an instance of time interval and the formula is a causes proposition of the other formula, then the beginning of the other time interval happen%{s} before or at the beginning of the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21666-21675	If every a kind of object is initially part of a another kind of object and a physical is an instance of a kind of object, then there exists an entity such that the entity is an instance of another kind of object and the physical is a part of the entity holds during the beginning of the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21693-21701	If instance of a kind of object are always initially part of instances of another kind of object and a physical is an instance of another kind of object, then there exists an entity such that the entity is an instance of a kind of object and the entity is a part of the physical holds during the beginning of the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19164-19175	If a process is an instance of aborting and an entity is a patient of the process and the entity is an instance of woman, then pregnant is an attribute of the entity holds during the beginning of the time of existence of the process and pregnant is not an attribute of the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1427-1440	If a process is an instance of appointing and an entity is a patient of the process, then there exist another entity and a third entity such that the entity doesn't hold the position of the other entity in the third entity holds during the beginning of the time of existence of the process and the entity holds the position of the other entity in the third entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14755-14765	If a process is an instance of accelerating and an agent is an agent of the process, then there exist a quantity, another quantity,, , a third quantity and a fourth quantity such that the measure of the agent is the quantity per the third quantity holds during the beginning of the time of existence of the process and the measure of the agent is the other quantity per the fourth quantity holds during the end of the time of existence of the process and the other quantity is greater than the quantity or the fourth quantity is greater than the third quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11764-11777	If a process is an instance of shape change and an entity is a patient of the process, then there exists another entity such that the other entity is an instance of shape attribute and the other entity is an attribute of the entity holds during the beginning of the time of existence of the process and the other entity is not an attribute of the entity holds during the end of the time of existence of the process or the other entity is not an attribute of the entity holds during the beginning of the time of existence of the process and the other entity is an attribute of the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11724-11737	If a process is an instance of surface change and an object is a patient of the process, then there exist another object and an entity such that the other object is a superficial part of the object and the entity is an attribute of the other object holds during the beginning of the time of existence of the process and the entity is not an attribute of the other object holds during the end of the time of existence of the process or the entity is not an attribute of the other object holds during the beginning of the time of existence of the process and the entity is an attribute of the other object holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1522-1538	If a time interval is an instance of add to cart and an entity is an instance of object and the entity is a patient of the time interval and an agent is an agent of the time interval, then there exist a collection, a WebSite and a time position such that the collection is an instance of collection and the WebSite is an instance of WebSite and another time interval is an instance of time interval and user the agent at the WebSite has cart the collection and the beginning of the other time interval is equal to the end of the time interval and the entity is a member of the collection holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11520-11527	If a process is an instance of attaching and an entity is a patient of the process and another entity is a patient of the process, then the entity is not connected to the other entity holds during the beginning of the time of existence of the process and the entity is connected to the other entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14016-14026	If a process is an instance of becoming drunk and an agent experiences the process, then sober is an attribute of the agent holds during the beginning of the time of existence of the process and drunk is an attribute of the agent holds during the end of the time of existence of the process

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.

Mid-level-ontology.kif 7572-7572

The beginning of before common era is equal to negative infinity

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: