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 8070-8071
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1420-1421
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8067-8067	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 8064-8064	Begin is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8066-8066	Begin is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8065-8065	Begin is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8068-8068	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 455-455
No TPTP formula. May not be expressible in strict first order.	french_format.kif 261-261
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 34-34
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2051-2051
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 213-213
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 68-68
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 267-267
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 586-586
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 78-78
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 282-282
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 287-287
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 84-84
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10566-10566
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 10565-10565
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10564-10564
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 180-180
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 85-85

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8171-8179	If the beginning of a time interval happens before the beginning of another time interval and equal the end of the time interval and the end of the other time interval, then the other time interval finishes the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8139-8147	If equal the beginning of a time interval and the beginning of another time interval and the end of the time interval happens before the end of the other time interval, then the time interval starts the other time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24561-24566	If equal a time point and the beginning of the time of existence of a process and equal another time point and 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 31514-31523	If equal a time point and the beginning of the time of existence of a process and equal another time point and 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 25562-25578	If menopause is an attribute of a human holds during a time interval and a day is a birthdate of the human and the day is an instance of the day a positive integer of month the month a kind of month and equal a real number and (49 and an integer) and equal another real number and (52 and the integer) and equal a time point and the beginning of the time interval, then the statement the time point is greater than the real number and the other real number is greater than the time point has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25535-25549	If menopause is an attribute of an agent holds during a time interval and equal a real number and (1 year duration(s) and the beginning of the time interval) and equal another time interval and interval between the other time interval and the beginning of the time interval, then there doesn't exist a process such that the process is an instance of menstruation and the agent experiences the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 494-507	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 equal the other processSTART and the beginning of the time of existence of the other process and equal the third processSTART and 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 equal the other process and the third process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12535-12549	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 and 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, then the process attaches the entity to another object and the process attaches the other entity to another object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3759-3784	If an accessing web page is an instance of accessing web page and an entity is an instance of web page 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 accessing web page 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 accessing web page and the other process is a subprocess of the accessing web page and equal the end of the time of existence of the other process and the beginning of the time interval and equal the end of the time of existence of the process and the end of the time interval, then equal the time to access in the accessing web page and the time interval
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2332-2343	If a time interval is an instance of bringing GE to front and an entity is a patient of the time interval and the entity is an instance of interface window and the entity has state an attribute holds during the beginning of the time interval and the attribute is the opposite of GUE uncovered state, 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 1089-1101	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 withdrawing from an account 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 penalizing 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 11797-11804	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 equal the other entity and the third entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12585-12594	If a process is an instance of detaching and an entity is a patient of the process and another entity is a patient of the process and the entity is connected to the other entity holds during the beginning of the time of existence of the process and the entity is not connected to the other entity holds during the end of the time of existence of another process, then the other process detaches the entity from another object and the other process detaches the other entity from another object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8835-8842	If a time interval is an instance of the day a positive integer of month the month a kind of month and another time interval is an instance of the day another positive integer of month the month a kind of month and equal a time point and the beginning of the time interval and equal another time point and 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 2661-2670	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 2672-2685	If a process is an instance of exporting and an entity is a patient of the process and a geopolitical area is an instance of geopolitical area and the entity is located at the geopolitical area holds during the beginning of the time of existence of the process, then there exists another geopolitical area such that the other geopolitical area is an instance of geopolitical area and the geopolitical area is not a geopolitical part of the other geopolitical area and the other geopolitical area is not a geopolitical part of the geopolitical area and the entity is located at the other geopolitical area 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 2696-2706	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 equal a time point and 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.	Economy.kif 2818-2831	If a process is an instance of importing and an entity is a patient of the process and another entity is an instance of geopolitical area and the entity is not located at the other entity holds during the beginning of the time of existence of the process, then the entity is 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 2832-2851	If a process is an instance of importing and an entity is a patient of the process and a geopolitical area is an instance of geopolitical area and the entity is located at the geopolitical area holds during the beginning of the time of existence of the process, then there exists another geopolitical area such that the other geopolitical area is an instance of geopolitical area and the geopolitical area is not a geopolitical part of the other geopolitical area and the other geopolitical area is not a geopolitical part of the geopolitical area and the entity is located at the other geopolitical area 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 2862-2877	If a process is an instance of importing 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.	Merge.kif 8467-8477	If a time interval is an instance of time interval and another time interval is an instance of time interval and equal the beginning of the time interval and the beginning of the other time interval and equal the end of the time interval and the end of the other time interval, then equal the time interval and the other time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1415-1420	If a time interval is an instance of loan and equal a time point and 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 8819-8826	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 equal a time point and the beginning of the time interval and equal another time point and the beginning of the other time interval and another kind of month is the successor class of a kind of month., then the time point happens before the other time point
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1746-1766	If a musical tone is an instance of musical tone and the frequency of the musical tone is a real number hertz(s) and the sound of the musical tone is another real number dB(A)(s) and the musical tone is located at the place where a human was at the beginning of the time of existence of the musical tone and a third real number is greater than the other real number and the other real number is greater than a fourth real number and the real number is greater than 250 and 8000 is greater than the real number and the human is an instance of human and a process is an instance of listening and the human is an agent of the process, then the human can hear frequency of the third real number dB(A)(s) at the fourth real number dB(A)(s) decibels

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 12620-12627	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.	Mid-level-ontology.kif 7168-7181	If allergic a human and a kind of substance and a kind of substanceUB is an instance of the kind of substance and the kind of substanceUB meets the human holds during a time position, then the statement there exists another entity such that the other entity is an instance of allergic reaction and the human experiences the other entity and the time of existence of the other entity overlaps the time position and the beginning of the time position happens before the beginning of 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.	FinancialOntology.kif 657-669	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 Jesus of Nazareth 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 688-699	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 Jesus of Nazareth 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 32626-32632	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 happens 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 3849-3856	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 happens before or at the beginning of the time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2690-2697	If an entity is a member of a consecutive time interval list and equal the consecutive time interval list and ConsecutiveTimeIntervalList for at a time interval at a time duration is contained in TimeIntervalListFn, then equal the beginning of the time interval and the beginning of the first of the consecutive time interval list
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25356-25365	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 25383-25391	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 23112-23123	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 1035-1048	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 18530-18551	If a process is an instance of accelerating and an agent is an agent of the process, then there exist a real number, another real number,, , a third real number,, , a fourth real number,, , an entity and another entity such that the measure of the agent is the real number the entity(s) per the third real number the other entity(s) holds during the beginning of the time of existence of the process and the measure of the agent is the other real number the entity(s) per the fourth real number the other entity(s) holds during the end of the time of existence of the process and the other real number is greater than the real number or the fourth real number is greater than the third real number
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2268-2277	If a time interval is an instance of activating UI element and an entity is a patient of the time interval and the entity is an instance of GUI element, then the entity has state GUE active state holds during the end of the time interval and not the entity has state GUE active state holds during the beginning of the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12810-12823	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 12770-12783	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 1326-1342	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 web site,, , a time position and another time interval such that the collection is an instance of collection and the web site is an instance of web site and the other time interval is an instance of time interval and user the agent at the web site has cart the collection and equal the beginning of the other time interval and 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 12510-12517	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 17730-17740	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18937-18948	If a process is an instance of boarding and an agent is an agent of the process and an entity is a patient of the process, then not the agent is onboard the entity holds during the beginning of the time of existence of the process and the agent is onboard 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 18978-18990	If a process is an instance of deboarding and an agent is an agent of the process and an entity is a patient of the process, then the agent is onboard the entity holds during the beginning of the time of existence of the process and not the agent is onboard 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 17750-17760	If a process is an instance of sobering up and an agent experiences the process, then drunk is an attribute of the agent holds during the beginning of the time of existence of the process and sober is an attribute of the agent 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 23012-23020	If a process is an instance of bleeding and an agent experiences the process, then there exists an entity such that the entity is an instance of blood and the entity is a part of the agent holds during the beginning of the time of existence of the process and the entity is not a part 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

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: