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 8374-8376
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1449-1450
No TPTP formula. May not be expressible in strict first order. Merge.kif 8371-8371 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 8372-8372 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 8366-8366 earlier is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 8369-8369 earlier is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8367-8367 earlier is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8370-8370 earlier is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8368-8368 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. french_format.kif 253-253
No TPTP formula. May not be expressible in strict first order. relations-it.txt 87-87
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2047-2047
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 205-205
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 259-259
No TPTP formula. May not be expressible in strict first order. relations-de.txt 571-571
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 127-127
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 274-274
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 277-277
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 189-189
No TPTP formula. May not be expressible in strict first order. Merge.kif 8100-8100 before is internally related to earlier
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20790-20790
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 20789-20789
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20788-20788
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 190-190

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 8281-8288
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 480-489
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10055-10078
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10025-10046
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 85-94
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 74-83
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 65-84
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9774-9795
No TPTP formula. May not be expressible in strict first order. Merge.kif 8378-8380

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4373-4382
No TPTP formula. May not be expressible in strict first order. Government.kif 612-617
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3545-3555
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3593-3603
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1500-1512
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 7972-7982
No TPTP formula. May not be expressible in strict first order. Merge.kif 14337-14344
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18679-18695
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24019-24028
No TPTP formula. May not be expressible in strict first order. Medicine.kif 80-94
No TPTP formula. May not be expressible in strict first order. Sports.kif 778-788
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3179-3194
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3496-3510
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29639-29653
No TPTP formula. May not be expressible in strict first order. Merge.kif 10941-10954
No TPTP formula. May not be expressible in strict first order. Merge.kif 10899-10912
No TPTP formula. May not be expressible in strict first order. Merge.kif 10878-10891
No TPTP formula. May not be expressible in strict first order. Merge.kif 8731-8736
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 16690-16702
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16671-16683
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 65-84

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18202-18219 There exist ?X, ?CUT,, , ?PAPER,, , ?CBO and ?INFO such that ?X is an instance of paper shredder and ?CUT is an instance of cutting and ?X is an instrument for ?CUT and ?PAPER is an instance of paper and ?PAPER is a patient of ?CUT and ?CBO is located at ?PAPER and ?CBO is an instance of visual content bearing object and ?CBO contains information ?INFO decreases likelihood of there exists ?READ such that ?READ is an instance of interpreting and ?INFO is a patient of ?READ and the time of existence of ?CUT happens earlier than the time of existence of ?READ


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