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

Formal Language: 



KB Term:  Term intersection
English Word: 

  starts

Sigma KEE - starts
starts

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2701-2703
No TPTP formula. May not be expressible in strict first order. Merge.kif 8040-8042
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1424-1426
No TPTP formula. May not be expressible in strict first order. Merge.kif 8037-8037 开始 的 1 数量 是 时距instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8038-8038 开始 的 2 数量 是 时距instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8035-8035 开始非自反关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8033-8033 开始时间关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8036-8036 开始总值关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8034-8034 开始传递关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8032-8032 开始时间部分subrelation

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 419-419
No TPTP formula. May not be expressible in strict first order. english_format.kif 425-425
No TPTP formula. May not be expressible in strict first order. french_format.kif 244-244
No TPTP formula. May not be expressible in strict first order. relations-it.txt 269-269
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2038-2038
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 196-196
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 249-249
No TPTP formula. May not be expressible in strict first order. relations-de.txt 544-544
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 306-306
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 265-265
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 265-265
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 461-461
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55074-55074
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 420-420
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55073-55073
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55072-55072

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


No TPTP formula. May not be expressible in strict first order. Media.kif 538-547
No TPTP formula. May not be expressible in strict first order. Media.kif 473-482
No TPTP formula. May not be expressible in strict first order. Media.kif 559-568
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1254-1268
No TPTP formula. May not be expressible in strict first order. Merge.kif 8044-8052

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2881-2897
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2854-2870
No TPTP formula. May not be expressible in strict first order. Merge.kif 8054-8062
No TPTP formula. May not be expressible in strict first order. Economy.kif 3754-3764
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 487-499
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21474-21489
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16380-16389
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16294-16299
No TPTP formula. May not be expressible in strict first order. Merge.kif 11305-11328
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16395-16404
No TPTP formula. May not be expressible in strict first order. Merge.kif 9409-9414
No TPTP formula. May not be expressible in strict first order. Merge.kif 9435-9445
No TPTP formula. May not be expressible in strict first order. Merge.kif 8795-8801
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19095-19102
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1025-1034
No TPTP formula. May not be expressible in strict first order. Merge.kif 8879-8886
No TPTP formula. May not be expressible in strict first order. Merge.kif 8456-8463
No TPTP formula. May not be expressible in strict first order. Merge.kif 8535-8537
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17300-17306
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 285-299
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 305-319
No TPTP formula. May not be expressible in strict first order. Merge.kif 8901-8908
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19109-19116
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 424-429
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17070-17076

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. Media.kif 1970-1978 有存在 时距 这样 那个 时距时距instance那个 时距 finishes了才到 JesusOfNazareth 出现 的 time那个 时距 starts了才到 TwelveApostles 出现 的 time 和 对所有 实体


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