Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - before
before

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 11628-11629
No TPTP formula. May not be expressible in strict first order. Merge.kif 11625-11626
No TPTP formula. May not be expressible in strict first order. Merge.kif 11631-11632
No TPTP formula. May not be expressible in strict first order. Merge.kif 11622-11622 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 11623-11623 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 11618-11618 before is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11617-11617 before is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11619-11619 before is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11621-11621 before is internally related to earlier
No TPTP formula. May not be expressible in strict first order. Merge.kif 11620-11620 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 597-597
No TPTP formula. May not be expressible in strict first order. english_format.kif 598-598
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 10482-10482 "之前" is the printable form of before in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10481-10481 "before" is the printable form of before in english language

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 57-75
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 676-689
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1032-1044
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1703-1725
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2590-2606
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2546-2562
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2608-2624
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2564-2580
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 779-787

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11856-11858 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 11607-11615 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 11577-11585 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 11706-11710 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 255-264
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 57-75
No TPTP formula. May not be expressible in strict first order. Music.kif 460-473
No TPTP formula. May not be expressible in strict first order. Hotel.kif 653-664
No TPTP formula. May not be expressible in strict first order. Communications.kif 202-214
No TPTP formula. May not be expressible in strict first order. Merge.kif 20004-20021
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20804-20809
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27765-27774
No TPTP formula. May not be expressible in strict first order. Merge.kif 12338-12345
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1559-1568
No TPTP formula. May not be expressible in strict first order. Merge.kif 12322-12329
No TPTP formula. May not be expressible in strict first order. Merge.kif 11382-11386
No TPTP formula. May not be expressible in strict first order. Merge.kif 11358-11362
No TPTP formula. May not be expressible in strict first order. Merge.kif 16449-16458
No TPTP formula. May not be expressible in strict first order. Geography.kif 2261-2269
No TPTP formula. May not be expressible in strict first order. Dining.kif 277-294
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25170-25196
No TPTP formula. May not be expressible in strict first order. Merge.kif 12306-12313
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2708-2720
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12369-12383
No TPTP formula. May not be expressible in strict first order. Merge.kif 11679-11683

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