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 8282-8284
No TPTP formula. May not be expressible in strict first order. Merge.kif 8279-8279 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 8280-8280 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 8274-8274 earlier is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 8277-8277 earlier is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8275-8275 earlier is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8278-8278 earlier is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8276-8276 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 8010-8010 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 8189-8196
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 9627-9650
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9597-9618
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 9346-9367
No TPTP formula. May not be expressible in strict first order. Merge.kif 8286-8288

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 7645-7655
No TPTP formula. May not be expressible in strict first order. Merge.kif 14076-14083
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18054-18070
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23458-23467
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 29051-29065
No TPTP formula. May not be expressible in strict first order. Merge.kif 8639-8644
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 16134-16146
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16115-16127
No TPTP formula. May not be expressible in strict first order. Merge.kif 11378-11386
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22960-22973
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17996-18014
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 10525-10537

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