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 更早 的 1 数量 是 时距instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8372-8372 更早 的 2 数量 是 时距instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8366-8366 更早二元谓语instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8369-8369 更早非自反关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8367-8367 更早时间关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8370-8370 更早总值关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8368-8368 更早传递关系instance

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 之前更早 是 内部相关
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 有存在 ?X, ?CUT,, , ?PAPER,, , ?CBO, and 和 ?INFO 这样 ?X 是 PaperShredderinstance 和 ?CUT 是 切开instance 和 ?X 是导致 ?CUT 的 instrument 和 ?PAPER 是 instance 和 ?PAPER 是 ?CUT 的 patient 和 ?CBO 是 located 在 ?PAPER 和 ?CBO 是 VisualContentBearingObjectinstance 和 ?CBO contains ?INFO 的资料 减少 有存在 ?READ 这样 ?READ 是 解读instance 和 ?INFO 是 ?READ 的 patient 和 ?CUT 出现 的 time 比?READ 出现 的 time发生的earlier 发生的机率


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