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 The number 1 argument of starts is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8038-8038 The number 2 argument of starts is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8035-8035 starts is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8033-8033 starts is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8036-8036 starts is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8034-8034 starts is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8032-8032 starts is a subrelation of temporal part

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 There exists a time interval such that the time interval is an instance of time interval and the time interval finishes the time of existence of Jesus of Nazareth and the time interval starts the time of existence of Twelve apostles and for all an entity


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