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 7944-7946
No TPTP formula. May not be expressible in strict first order. Merge.kif 7941-7941 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 7942-7942 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 7939-7939 starts is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7937-7937 starts is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7940-7940 starts is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7938-7938 starts is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7936-7936 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. domainEnglishFormat.kif 55053-55053
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 55052-55052
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55051-55051

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 1259-1273
No TPTP formula. May not be expressible in strict first order. Merge.kif 7948-7956

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7958-7966
No TPTP formula. May not be expressible in strict first order. Economy.kif 3762-3771
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 476-488
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20767-20782
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15801-15810
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15715-15720
No TPTP formula. May not be expressible in strict first order. Merge.kif 11160-11183
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15816-15825
No TPTP formula. May not be expressible in strict first order. Merge.kif 9307-9312
No TPTP formula. May not be expressible in strict first order. Merge.kif 9333-9343
No TPTP formula. May not be expressible in strict first order. Merge.kif 8697-8703
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18446-18453
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 982-991
No TPTP formula. May not be expressible in strict first order. Merge.kif 8781-8788
No TPTP formula. May not be expressible in strict first order. Merge.kif 8358-8365
No TPTP formula. May not be expressible in strict first order. Merge.kif 8437-8439
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16717-16723
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 274-288
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 294-308
No TPTP formula. May not be expressible in strict first order. Merge.kif 8803-8810
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18460-18467
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 413-418
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16489-16495
No TPTP formula. May not be expressible in strict first order. Media.kif 317-322
No TPTP formula. May not be expressible in strict first order. Media.kif 327-332

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 1968-1976 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 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