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. chinese_format.kif 2701-2703
No TPTP formula. May not be expressible in strict first order. Merge.kif 7654-7656
No TPTP formula. May not be expressible in strict first order. Merge.kif 7651-7651 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 7652-7652 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 7649-7649 starts is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7647-7647 starts is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7650-7650 starts is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7648-7648 starts is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7646-7646 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 428-428
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55064-55064
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 55063-55063
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55062-55062

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


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

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2821-2837
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2794-2810
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 660-672
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19143-19158
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14053-14062
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13968-13973
No TPTP formula. May not be expressible in strict first order. Merge.kif 10596-10619
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14068-14077
No TPTP formula. May not be expressible in strict first order. Merge.kif 8882-8887
No TPTP formula. May not be expressible in strict first order. Merge.kif 8908-8918
No TPTP formula. May not be expressible in strict first order. Merge.kif 8284-8289
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16910-16917
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1411-1420
No TPTP formula. May not be expressible in strict first order. Merge.kif 8360-8367
No TPTP formula. May not be expressible in strict first order. Merge.kif 7944-7951
No TPTP formula. May not be expressible in strict first order. Merge.kif 8023-8025
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14889-14895
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 8382-8389
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16923-16930
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 582-587
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14651-14657
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