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 7698-7699
No TPTP formula. May not be expressible in strict first order. Merge.kif 7695-7695 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 7696-7696 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 7691-7691 before is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7690-7690 before is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7692-7692 before is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7694-7694 before is internally related to earlier
No TPTP formula. May not be expressible in strict first order. Merge.kif 7693-7693 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
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10543-10543
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10542-10542

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 472-485
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1041-1053
No TPTP formula. May not be expressible in strict first order. Weather.kif 1597-1607
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 2610-2626
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 2628-2644
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2582-2600
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 788-796

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7874-7876 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 7680-7688 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 7658-7666 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 7758-7762 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 663-674
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 14396-14413
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19357-19362
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25829-25838
No TPTP formula. May not be expressible in strict first order. Merge.kif 8211-8218
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1570-1579
No TPTP formula. May not be expressible in strict first order. Merge.kif 8195-8202
No TPTP formula. May not be expressible in strict first order. Merge.kif 7505-7509
No TPTP formula. May not be expressible in strict first order. Merge.kif 7487-7491
No TPTP formula. May not be expressible in strict first order. Merge.kif 11331-11340
No TPTP formula. May not be expressible in strict first order. Geography.kif 2294-2302
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 23189-23215
No TPTP formula. May not be expressible in strict first order. Merge.kif 8179-8186
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2728-2740
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11403-11417
No TPTP formula. May not be expressible in strict first order. Merge.kif 7739-7743

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 3.0 is open source software produced by Articulate Software and its partners