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. chinese_format.kif 2707-2708
No TPTP formula. May not be expressible in strict first order. Merge.kif 7546-7547
No TPTP formula. May not be expressible in strict first order. Merge.kif 7543-7543 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 7544-7544 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 7539-7539 before is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7538-7538 before is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7540-7540 before is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7542-7542 before is internally related to earlier
No TPTP formula. May not be expressible in strict first order. Merge.kif 7541-7541 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 432-432
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 675-688
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1031-1043
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1700-1722
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 2544-2560
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 2562-2580
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 778-786

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7721-7723 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 7528-7536 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 7506-7514 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 7606-7610 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 258-267
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 454-467
No TPTP formula. May not be expressible in strict first order. Hotel.kif 657-668
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 14243-14260
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 27758-27767
No TPTP formula. May not be expressible in strict first order. Merge.kif 8058-8065
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1557-1566
No TPTP formula. May not be expressible in strict first order. Merge.kif 8042-8049
No TPTP formula. May not be expressible in strict first order. Merge.kif 7355-7359
No TPTP formula. May not be expressible in strict first order. Merge.kif 7337-7341
No TPTP formula. May not be expressible in strict first order. Merge.kif 11175-11184
No TPTP formula. May not be expressible in strict first order. Geography.kif 2273-2281
No TPTP formula. May not be expressible in strict first order. Dining.kif 270-287
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 8026-8033
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 12367-12381
No TPTP formula. May not be expressible in strict first order. Merge.kif 7587-7591

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