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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - starts
starts

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11569-11571
No TPTP formula. May not be expressible in strict first order. Merge.kif 11565-11567
No TPTP formula. May not be expressible in strict first order. Merge.kif 11573-11575
No TPTP formula. May not be expressible in strict first order. Merge.kif 11562-11562 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 11563-11563 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 11560-11560 starts is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11558-11558 starts is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11561-11561 starts is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11559-11559 starts is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11557-11557 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 591-591
No TPTP formula. May not be expressible in strict first order. english_format.kif 592-592
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55015-55015 "启动" is the printable form of starts in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 420-420 "开始" is the printable form of starts in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55014-55014 "啟動" is the printable form of starts in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55013-55013 "starts" is the printable form of starts in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11577-11585 A time interval starts another time interval if and only if the beginning of the time interval is equal to the beginning of the other time interval and the end of the time interval happens before the end of the other time interval
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 1249-1263

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3755-3764
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 661-673
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19101-19116
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14026-14035
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13941-13946
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2801-2817
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2774-2790
No TPTP formula. May not be expressible in strict first order. Merge.kif 15449-15472
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14041-14050
No TPTP formula. May not be expressible in strict first order. Merge.kif 13093-13098
No TPTP formula. May not be expressible in strict first order. Merge.kif 13119-13129
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16886-16891
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16857-16864
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1410-1419
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16834-16841
No TPTP formula. May not be expressible in strict first order. Merge.kif 11953-11960
No TPTP formula. May not be expressible in strict first order. Merge.kif 12064-12066
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14862-14868
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 272-286
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 292-306
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16811-16818
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16870-16877
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 583-588
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14624-14630
No TPTP formula. May not be expressible in strict first order. Media.kif 317-322

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 1972-1980 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 JesusOfNazareth and the time interval starts the time of existence of TwelveApostles and for all an entity


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners