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 7837-7838
No TPTP formula. May not be expressible in strict first order. Merge.kif 7834-7834 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 7835-7835 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 7830-7830 before is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7829-7829 before is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7831-7831 before is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7833-7833 before is internally related to earlier
No TPTP formula. May not be expressible in strict first order. Merge.kif 7832-7832 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 429-429
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 1599-1609
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. Merge.kif 7964-7974
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2631-2647
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2585-2601
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2649-2665
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2603-2621
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 7878-7882 A time point happen%{s} before or at another time point if and only if the time point happens before the other time point or the time point is equal to the other time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 8060-8062 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 7819-7827 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 7797-7805 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 7897-7901 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 259-268
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5882-5895
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 455-468
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 7976-7983
No TPTP formula. May not be expressible in strict first order. Merge.kif 14898-14915
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22315-22320
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28955-28964
No TPTP formula. May not be expressible in strict first order. Merge.kif 8397-8404
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 8381-8388
No TPTP formula. May not be expressible in strict first order. Merge.kif 7644-7648
No TPTP formula. May not be expressible in strict first order. Merge.kif 7626-7630
No TPTP formula. May not be expressible in strict first order. Merge.kif 11630-11639
No TPTP formula. May not be expressible in strict first order. Geography.kif 2318-2326
No TPTP formula. May not be expressible in strict first order. Merge.kif 7957-7962
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 26315-26341

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