beforeOrEqual - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - beforeOrEqual

beforeOrEqual

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2709-2710
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8240-8241
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1432-1434
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8237-8237	The number 1 argument of before or equal is an instance of time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8238-8238	The number 2 argument of before or equal is an instance of time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8234-8234	before or equal is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8236-8236	before or equal is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8235-8235	before or equal is an instance of temporal relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 425-425
No TPTP formula. May not be expressible in strict first order.	english_format.kif 431-431
No TPTP formula. May not be expressible in strict first order.	french_format.kif 247-247
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 33-33
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2041-2041
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 199-199
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 252-252
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 553-553
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 77-77
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 268-268
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 269-269
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 67-67
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8197-8197	before is a subrelation of before or equal
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 426-426	before is a subrelation of before or equal
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10554-10554	before is a subrelation of before or equal
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10553-10553	before is a subrelation of before or equal
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10552-10552	before is a subrelation of before or equal
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 170-170	before is a subrelation of before or equal
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 83-83	before is a subrelation of before or equal

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8298-8302	If a time point happens before or at another time point and the other time point happens before or at a third time point, then the other time point is between or at the time point and the third time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8367-8377	If a time interval is an instance of time interval and another time interval is an instance of time interval and the beginning of the other time interval happens before or at the beginning of the time interval and the beginning of the time interval happens before the end of the other time interval, then the time interval overlaps the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8243-8247	If a time point happens 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

consequent

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.	Mid-level-ontology.kif 32628-32634	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 3834-3841	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.	Merge.kif 8208-8220	If a physical is an instance of object, then there exist a time point and another time point such that the time point is an instance of time point and the other time point is an instance of time point and the time point happens before the other time point and for all a third time point if the time point happens before or at the third time point and the third time point happens before or at the other time point, then the physical exists during the third time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8249-8253	If a time point happens before another time point or the time point is equal to the other time point, then the time point happens before or at the other time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8292-8296	If a time point is between or at another time point and a third time point, then the other time point happens before or at the time point and the time point happens before or at the third time point

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