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 8248-8249
No TPTP formula. May not be expressible in strict first order. Merge.kif 8246-8247
No TPTP formula. May not be expressible in strict first order. Merge.kif 8244-8244 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 8245-8245 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 8240-8240 before is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8239-8239 before is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8241-8241 before is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8243-8243 before is internally related to earlier
No TPTP formula. May not be expressible in strict first order. Merge.kif 8242-8242 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 256-256
No TPTP formula. May not be expressible in strict first order. french_format.kif 246-246
No TPTP formula. May not be expressible in strict first order. relations-it.txt 32-32
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 198-198
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 180-180
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 66-66
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 251-251
No TPTP formula. May not be expressible in strict first order. relations-de.txt 550-550
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 76-76
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 80-80
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 2180-2180 "before" is the printable form of before in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 630-630 "«يَحْدُث قَبْلَ»" is the printable form of before in ar
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 81-81 "nagaanap bago" is the printable form of before in tg

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 1704-1726
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 8430-8432 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 8229-8237 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 8205-8213 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 8311-8315 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 271-280
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 476-489
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 15495-15512
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20411-20416
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27323-27332
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 8048-8052
No TPTP formula. May not be expressible in strict first order. Merge.kif 8029-8033
No TPTP formula. May not be expressible in strict first order. Merge.kif 11930-11939
No TPTP formula. May not be expressible in strict first order. Merge.kif 11948-11957
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 24728-24754
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 12108-12122
No TPTP formula. May not be expressible in strict first order. Merge.kif 8290-8294
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4513-4517
No TPTP formula. May not be expressible in strict first order. Hotel.kif 636-644

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