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 7721-7722
No TPTP formula. May not be expressible in strict first order. Merge.kif 7718-7718 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 7719-7719 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 7715-7715 before or equal is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7717-7717 before or equal is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7716-7716 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 434-434
No TPTP formula. May not be expressible in strict first order. Merge.kif 7678-7678 before is a subrelation of before or equal
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 426-426
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10499-10499
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10498-10498
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10497-10497

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 7724-7728

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 7761-7765 A time point is between or at another time point and a third time point if and only if the other time point happen%{s} before or at the time point and the time point happen%{s} before or at the third time point
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 614-626
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28869-28875
No TPTP formula. May not be expressible in strict first order. Merge.kif 3700-3707
No TPTP formula. May not be expressible in strict first order. Merge.kif 7689-7701


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