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 8125-8127
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1424-1426
No TPTP formula. May not be expressible in strict first order. Merge.kif 8122-8122 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 8123-8123 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 8120-8120 starts is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8118-8118 starts is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8121-8121 starts is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8119-8119 starts is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8117-8117 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. french_format.kif 244-244
No TPTP formula. May not be expressible in strict first order. relations-it.txt 269-269
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2038-2038
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 196-196
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 249-249
No TPTP formula. May not be expressible in strict first order. relations-de.txt 544-544
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 306-306
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 265-265
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 265-265
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 461-461
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55078-55078
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 55077-55077
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55076-55076
No TPTP formula. May not be expressible in strict first order. terms-de.txt 167-167

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 1363-1377
No TPTP formula. May not be expressible in strict first order. Merge.kif 8129-8137

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2898-2914
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2871-2887
No TPTP formula. May not be expressible in strict first order. Merge.kif 8139-8147
No TPTP formula. May not be expressible in strict first order. Economy.kif 4091-4101
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 480-492
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23091-23106
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17767-17776
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17681-17686
No TPTP formula. May not be expressible in strict first order. Merge.kif 9462-9467
No TPTP formula. May not be expressible in strict first order. Merge.kif 11455-11478
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17782-17791
No TPTP formula. May not be expressible in strict first order. Merge.kif 9545-9550
No TPTP formula. May not be expressible in strict first order. Merge.kif 9571-9581
No TPTP formula. May not be expressible in strict first order. Merge.kif 8908-8914
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20666-20673
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1018-1027
No TPTP formula. May not be expressible in strict first order. Merge.kif 8992-8999
No TPTP formula. May not be expressible in strict first order. Merge.kif 8569-8576
No TPTP formula. May not be expressible in strict first order. Merge.kif 8648-8650
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18851-18857
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 9014-9021
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20680-20687
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 417-422

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25