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

Formal Language: 



KB Term:  Term intersection
English Word: 

  earlier

Sigma KEE - earlier
earlier

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2724-2725
No TPTP formula. May not be expressible in strict first order. Merge.kif 7855-7857
No TPTP formula. May not be expressible in strict first order. Merge.kif 7852-7852 The number 1 argument of earlier is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 7853-7853 The number 2 argument of earlier is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 7847-7847 earlier is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7850-7850 earlier is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7848-7848 earlier is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7851-7851 earlier is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7849-7849 earlier is an instance of transitive relation

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 437-437
No TPTP formula. May not be expressible in strict first order. english_format.kif 446-446
No TPTP formula. May not be expressible in strict first order. Merge.kif 7679-7679 before is internally related to earlier
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20722-20722
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 438-438
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20721-20721
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20720-20720

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7859-7861 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. Cars.kif 803-816
No TPTP formula. May not be expressible in strict first order. Government.kif 209-221
No TPTP formula. May not be expressible in strict first order. Law.kif 524-533
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 207-216
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 195-204

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4293-4302
No TPTP formula. May not be expressible in strict first order. Government.kif 599-604
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3750-3760
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3798-3808
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 26-47
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 120-131
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 101-111
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7639-7649
No TPTP formula. May not be expressible in strict first order. Merge.kif 13322-13329
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16379-16395
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3485-3499
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27849-27863
No TPTP formula. May not be expressible in strict first order. Merge.kif 8205-8210
No TPTP formula. May not be expressible in strict first order. WMD.kif 745-753
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14318-14330
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14299-14311
No TPTP formula. May not be expressible in strict first order. Merge.kif 10779-10787
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21468-21481
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16324-16342
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3581-3613
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3633-3660
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3680-3712
No TPTP formula. May not be expressible in strict first order. Merge.kif 11331-11341
No TPTP formula. May not be expressible in strict first order. Merge.kif 8189-8194
No TPTP formula. May not be expressible in strict first order. Military.kif 32-44

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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