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 7551-7552
No TPTP formula. May not be expressible in strict first order. Merge.kif 7548-7548 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 7549-7549 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 7545-7545 before or equal is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7547-7547 before or equal is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7546-7546 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 7508-7508 before is a subrelation of before or equal
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 426-426 "之前或同时" is the printable form of before or equal in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10495-10495 "之前或相等" is the printable form of before or equal in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10494-10494 "之前或相等" is the printable form of before or equal in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10493-10493 "before or equal" is the printable form of before or equal in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7554-7558

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7591-7595 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 28732-28738
No TPTP formula. May not be expressible in strict first order. Merge.kif 3541-3548
No TPTP formula. May not be expressible in strict first order. Merge.kif 7519-7531


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