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 7793-7795
No TPTP formula. May not be expressible in strict first order. Merge.kif 7790-7790 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 7791-7791 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 7788-7788 starts is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7786-7786 starts is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7789-7789 starts is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7787-7787 starts is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7785-7785 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. Merge.kif 7797-7805 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 2842-2858
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2815-2831
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 458-470
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20740-20755
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15774-15783
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15688-15693
No TPTP formula. May not be expressible in strict first order. Merge.kif 10881-10904
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15789-15798
No TPTP formula. May not be expressible in strict first order. Merge.kif 9070-9075
No TPTP formula. May not be expressible in strict first order. Merge.kif 9096-9106
No TPTP formula. May not be expressible in strict first order. Merge.kif 8470-8476
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18419-18426
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 963-972
No TPTP formula. May not be expressible in strict first order. Merge.kif 8548-8555
No TPTP formula. May not be expressible in strict first order. Merge.kif 8130-8137
No TPTP formula. May not be expressible in strict first order. Merge.kif 8209-8211
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16690-16696
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 8570-8577
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18433-18440
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 395-400
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16462-16468
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