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 7685-7686
No TPTP formula. May not be expressible in strict first order. Merge.kif 7682-7682 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 7683-7683 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 7679-7679 before or equal is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7681-7681 before or equal is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7680-7680 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 7642-7642 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 10495-10495
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10494-10494
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10493-10493

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7688-7692

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7725-7729 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 28888-28894
No TPTP formula. May not be expressible in strict first order. Merge.kif 3664-3671
No TPTP formula. May not be expressible in strict first order. Merge.kif 7653-7665


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