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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 7717-7719
No TPTP formula. May not be expressible in strict first order. Merge.kif 7714-7714 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 7715-7715 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 7709-7709 earlier is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7712-7712 earlier is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7710-7710 earlier is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7713-7713 earlier is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7711-7711 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 7542-7542 before is internally related to earlier
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20719-20719 "早期" is the printable form of earlier in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 438-438 "更早" is the printable form of earlier in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20718-20718 "早期" is the printable form of earlier in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20717-20717 "earlier" is the printable form of earlier in english language

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


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. Cars.kif 802-815
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 522-531
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. Government.kif 599-604
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3748-3758
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3796-3806
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 7657-7667
No TPTP formula. May not be expressible in strict first order. Merge.kif 13184-13191
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16348-16364
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3490-3504
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27804-27818
No TPTP formula. May not be expressible in strict first order. Merge.kif 8067-8072
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 14290-14302
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14271-14283
No TPTP formula. May not be expressible in strict first order. Merge.kif 10638-10646
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21425-21438
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16293-16311
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3579-3611
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3631-3658
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3678-3710
No TPTP formula. May not be expressible in strict first order. Merge.kif 11190-11200
No TPTP formula. May not be expressible in strict first order. Merge.kif 8051-8056
No TPTP formula. May not be expressible in strict first order. Military.kif 32-44
No TPTP formula. May not be expressible in strict first order. Merge.kif 11161-11168

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