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 7979-7981
No TPTP formula. May not be expressible in strict first order. Merge.kif 7976-7976 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 7977-7977 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 7974-7974 starts is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7972-7972 starts is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7975-7975 starts is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7973-7973 starts is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7971-7971 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 55060-55060
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 55059-55059
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55058-55058

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 7983-7991

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2894-2910
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2867-2883
No TPTP formula. May not be expressible in strict first order. Merge.kif 7993-8001
No TPTP formula. May not be expressible in strict first order. Economy.kif 3765-3775
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 482-494
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21252-21267
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16222-16231
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16136-16141
No TPTP formula. May not be expressible in strict first order. Merge.kif 11228-11251
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16237-16246
No TPTP formula. May not be expressible in strict first order. Merge.kif 9346-9351
No TPTP formula. May not be expressible in strict first order. Merge.kif 9372-9382
No TPTP formula. May not be expressible in strict first order. Merge.kif 8732-8738
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18876-18883
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 992-1001
No TPTP formula. May not be expressible in strict first order. Merge.kif 8816-8823
No TPTP formula. May not be expressible in strict first order. Merge.kif 8393-8400
No TPTP formula. May not be expressible in strict first order. Merge.kif 8472-8474
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17142-17148
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 8838-8845
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18890-18897
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 419-424
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16912-16918

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