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 8276-8278
No TPTP formula. May not be expressible in strict first order. Merge.kif 8273-8273 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 8274-8274 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 8268-8268 earlier is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 8271-8271 earlier is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8269-8269 earlier is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8272-8272 earlier is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8270-8270 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 443-443
No TPTP formula. May not be expressible in strict first order. Merge.kif 8004-8004 before is internally related to earlier
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20781-20781
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 20780-20780
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20779-20779

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 809-825
No TPTP formula. May not be expressible in strict first order. Merge.kif 8183-8190
No TPTP formula. May not be expressible in strict first order. Government.kif 223-234
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 9623-9646
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9593-9614
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 83-92
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 72-81
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9342-9363
No TPTP formula. May not be expressible in strict first order. Merge.kif 8280-8282

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4336-4345
No TPTP formula. May not be expressible in strict first order. Government.kif 610-615
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3753-3763
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3801-3811
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 7641-7651
No TPTP formula. May not be expressible in strict first order. Merge.kif 14070-14077
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18050-18066
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23454-23463
No TPTP formula. May not be expressible in strict first order. Sports.kif 709-719
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3461-3475
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29047-29061
No TPTP formula. May not be expressible in strict first order. Merge.kif 8633-8638
No TPTP formula. May not be expressible in strict first order. WMD.kif 750-758
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16130-16142
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16111-16123
No TPTP formula. May not be expressible in strict first order. Merge.kif 11372-11380
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22956-22969
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17992-18010
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3584-3616
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3636-3663
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3683-3715
No TPTP formula. May not be expressible in strict first order. Merge.kif 10519-10531

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