before - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8248-8249
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8246-8247
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8244-8244	The number 1 argument of before is an instance of time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8245-8245	The number 2 argument of before is an instance of time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8240-8240	before is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8239-8239	before is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8241-8241	before is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8243-8243	before is internally related to earlier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8242-8242	before is a subrelation of before or equal

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 423-423
No TPTP formula. May not be expressible in strict first order.	english_format.kif 256-256
No TPTP formula. May not be expressible in strict first order.	french_format.kif 246-246
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 32-32
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 198-198
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 180-180
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 66-66
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 251-251
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 550-550
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 76-76
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 80-80
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 424-424	"之前" is the printable form of before in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2180-2180	"before" is the printable form of before in english language
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 630-630	"«يَحْدُث قَبْلَ»" is the printable form of before in ar
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 81-81	"nagaanap bago" is the printable form of before in tg

antecedent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 57-75	If mausaharati is an attribute of an agent and a time interval is an instance of drumming and the agent is an agent of the time interval and the time intervalAY is an instance of day and a third time interval is an instance of sunrise and the third time interval takes place during the time interval and the time interval happens before the third time interval, then the time interval has purpose there exist another agent, the third time intervalUHUR and a fifth time interval such that the fifth time interval is an instance of waking up and the other agent experiences the fifth time interval and the third time intervalUHUR is an instance of suhur and the other agent is an agent of the third time intervalUHUR and the fifth time interval happens before the third time intervalUHUR and the fifth time interval takes place during the time intervalAY and the third time intervalUHUR takes place during the time intervalAY
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 676-689	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 process-START is equal to the beginning of the time of existence of the other process and the third process-START is equal to the beginning of the time of existence of the third process and the other process-START happens before the third process-START and the third process-START happens before the other process-START, then the other process is equal to the third process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1032-1044	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.	UXExperimentalTerms.kif 1704-1726	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.	FinancialOntology.kif 2590-2606	If an agreement has an 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 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 process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2546-2562	If an agreement has an 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 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 process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2608-2624	If an agreement has an 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 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 process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2564-2580	If an agreement has an 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 an underlier of the agreement and the financial instrument 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 is obliged to perform tasks of type the class described by a process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 779-787	If a currency measure is a transaction amount of a financial transaction and date of the financial transaction is a day and a financial account is an instance of financial account and the financial transaction ends up at the currency of the financial account and the financial account amount due the currency measureDue for a time interval and the end of the day happens before the beginning of the time interval, then the financial transaction is an instance of prepayment

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8430-8432	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 8229-8237	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 8205-8213	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.	Merge.kif 8311-8315	A time point is between another time point and a third time point if and only if the other time point happens before the time point and the time point happens before the third time point
No TPTP formula. May not be expressible in strict first order.	Music.kif 271-280	If an album was released on a time point, then there exist a geographic area and a kind of DataStorageDevice such that the set of copies on a kind of DataStorageDevice of the album was released for sale in the geographic area at the time point and there don't exist another time point, another geographic area and another kind of DataStorageDevice such that the other time point happens before the time point and the set of copies on another kind of DataStorageDevice of the album was released for sale in the other geographic area at the other time point
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 57-75	If mausaharati is an attribute of an agent and a time interval is an instance of drumming and the agent is an agent of the time interval and the time intervalAY is an instance of day and a third time interval is an instance of sunrise and the third time interval takes place during the time interval and the time interval happens before the third time interval, then the time interval has purpose there exist another agent, the third time intervalUHUR and a fifth time interval such that the fifth time interval is an instance of waking up and the other agent experiences the fifth time interval and the third time intervalUHUR is an instance of suhur and the other agent is an agent of the third time intervalUHUR and the fifth time interval happens before the third time intervalUHUR and the fifth time interval takes place during the time intervalAY and the third time intervalUHUR takes place during the time intervalAY
No TPTP formula. May not be expressible in strict first order.	Music.kif 476-489	If cover recording is an attribute of a music recording and the music recording is an instance of music recording and a cognitive agent is the performer in the music recording and the music recording is a recording of a music and the music recording is a record of the musicM, then there exist another music recording, the cognitive agentRTIST and the musicUSIC such that the other music recording is a recording of the music and the cognitive agentRTIST is the performer in the other music recording and the cognitive agent is not equal to the cognitive agentRTIST and the other music recording is a record of the musicUSIC and the time of existence of the musicUSIC happens before the time of existence of the musicM
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 653-664	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 another time point and a process such that the other time point is an instance of the time point and the other cognitive agent is a patient of the process and the process is an instance of check-out service and the cognitive agent is an agent of the process and the beginning of the time of existence of the process happens before the other time point will be true
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.	Merge.kif 15495-15512	If edition a positive integer of a kind of content bearing object is equal to another kind of content bearing object and edition another positive integer of a kind of content bearing object is equal to a third kind of content bearing object and the other positive integer is greater than the positive integer and a process is an instance of publication and another process is an instance of publication and an entity is an instance of another kind of content bearing object and another entity is an instance of a third kind of content bearing object and the entity is a patient of the process and the other entity is a patient of the other process and date of the process is a day and date of the other process is another day, then the end of the day happens before the end of the other day
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20411-20416	If a process-START is equal to the beginning of the time of existence of the process and an agent-END is equal to the end of the time of existence of the agent and the agent is a beneficiary of the process, then the process-START happens before the agent-END
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27323-27332	If a process-START is equal to the beginning of the time of existence of the process and an agent-END is equal to the end of the time of existence of the agent and the agent suffers from the process, then the process-START happens before the agent-END
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1559-1568	If a financial account is an instance of interest only loan and a time interval is an agreement period of the financial account and a currency measure is a principal amount of the financial account and the financial account interest earned an interest for the time interval, then the financial account amount due the currency measure for the end of the time interval and the financial account amount due the interest for another time interval and the end of the other time interval happens before the end of the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8048-8052	If a time point is an instance of time point and the time point is not equal to negative infinity, then negative infinity happens before the time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8029-8033	If a time point is an instance of time point and the time point is not equal to positive infinity, then the time point happens before positive infinity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11930-11939	If a process is an instance of predicting and a formula is a patient of the process, then there exists a time interval such that the formula holds during the time interval and the time interval happens before the time of existence of the process or the time interval happens earlier than the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11948-11957	If a process is an instance of remembering and a formula is a patient of the process, then there exists a time interval such that the formula holds during the time interval and the time interval happens before the time of existence of the process or the time interval happens earlier than the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2261-2269	If a process is an instance of aftershock and the process is located at 2, then there exists another process such that the other process is an instance of earth tremor and the other process is located at 2 and the time of existence of the other process happens before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Dining.kif 277-294	If a collection is an instance of buffet and an object is a member of the collection and the collection is located at another object and a process is an instance of eating and an agent is an agent of the process and the process is located at 2 and the object is a patient of the process, then the other object is not equal to an entity and there exists another process such that the other process is an instance of getting and the object is a patient of the other process and the other process originates at the other object and the agent is an agent of the other process and the time of existence of the other process happens before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24728-24754	If an object is an instance of surveillance system and the object is a member of a collection and the object is a member of another collection and the collection is located at another object and the collection is an instance of camera and the other collection is located at a third object and the other object is not equal to the third object and the other collection is an instance of video display, then the object has purpose there exist a time interval, an entity,, , another time interval and a third time interval such that the time interval is an instance of process and the time interval is located at 2 and the entity expresses the time interval and camera is an instrument for the third time interval and the entity is a result of the third time interval and the other time interval is an instance of radiating light and the other collection is an instrument for the other time interval and the entity is a patient of the other time interval and the beginning of the time interval happens before the beginning of the third time interval and the beginning of the third time interval happens before the beginning of the other time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2708-2720	If an agreement has an attribute american style option and a cognitive agent holds the agreement and the agreement has expiration a time interval, then the cognitive agent has the right to perform there exists a process such that the process is an instance of exercise an option and the agreement is a patient of the process and the end of the time of existence of the process happens before the end of the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12108-12122	If a kind of series is a subclass of periodical and volume a positive integer in the series a kind of series is equal to a kind of text and volume another positive integer in the series the kind of series is equal to another kind of text and the other positive integer is greater than the positive integer and a process is an instance of publication and another process is an instance of publication and an entity is an instance of a kind of text and another entity is an instance of another kind of text and the entity is a patient of the process and the other entity is a patient of the other process and date of the process is a day and date of the other process is another day, then the end of the day happens before the end of the other day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8290-8294	If a time point happen%{s} before or at another time point, then the time point happens before the other time point or the time point is equal to the other time point
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4513-4517	If an experimenting takes a time interval to burn in, then the end of the time interval happens before the end of the time of existence of the experimenting
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 636-644	If an organization allows checkins after a kind of time point, then the statement there exist another time point and a process such that the other time point is an instance of a kind of time point and the process is an instance of check-in service and the organization is an agent of the process and the beginning of the time of existence of the process happens before the other time point has the modal force of unlikely

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: