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 7952-7954
No TPTP formula. May not be expressible in strict first order. Merge.kif 7949-7949 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 7950-7950 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 7947-7947 starts is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7945-7945 starts is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7948-7948 starts is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7946-7946 starts is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7944-7944 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 7956-7964

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2888-2904
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2861-2877
No TPTP formula. May not be expressible in strict first order. Merge.kif 7966-7974
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 482-494
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20875-20890
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15876-15885
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15790-15795
No TPTP formula. May not be expressible in strict first order. Merge.kif 11173-11196
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15891-15900
No TPTP formula. May not be expressible in strict first order. Merge.kif 9318-9323
No TPTP formula. May not be expressible in strict first order. Merge.kif 9344-9354
No TPTP formula. May not be expressible in strict first order. Merge.kif 8705-8711
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18530-18537
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 8789-8796
No TPTP formula. May not be expressible in strict first order. Merge.kif 8366-8373
No TPTP formula. May not be expressible in strict first order. Merge.kif 8445-8447
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16794-16800
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 8811-8818
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18544-18551
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 16564-16570

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25