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 8062-8064
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 8059-8059 Le nombre 1 argument de starts est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order. Merge.kif 8060-8060 Le nombre 2 argument de starts est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order. Merge.kif 8057-8057 starts est une instance de relation irr�flexive
No TPTP formula. May not be expressible in strict first order. Merge.kif 8055-8055 starts est une instance de relation temporel
No TPTP formula. May not be expressible in strict first order. Merge.kif 8058-8058 starts est une instance de relation total
No TPTP formula. May not be expressible in strict first order. Merge.kif 8056-8056 starts est une instance de relation transitive
No TPTP formula. May not be expressible in strict first order. Merge.kif 8054-8054 starts est une sous-relation de temporalPart

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 55074-55074
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 55073-55073
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55072-55072

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 8066-8074

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2881-2897
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2854-2870
No TPTP formula. May not be expressible in strict first order. Merge.kif 8076-8084
No TPTP formula. May not be expressible in strict first order. Economy.kif 3754-3764
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 487-499
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21473-21488
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16379-16388
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16293-16298
No TPTP formula. May not be expressible in strict first order. Merge.kif 11327-11350
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16394-16403
No TPTP formula. May not be expressible in strict first order. Merge.kif 9431-9436
No TPTP formula. May not be expressible in strict first order. Merge.kif 9457-9467
No TPTP formula. May not be expressible in strict first order. Merge.kif 8817-8823
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19094-19101
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1025-1034
No TPTP formula. May not be expressible in strict first order. Merge.kif 8901-8908
No TPTP formula. May not be expressible in strict first order. Merge.kif 8478-8485
No TPTP formula. May not be expressible in strict first order. Merge.kif 8557-8559
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17299-17305
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 8923-8930
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19108-19115
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 424-429
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17069-17075

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25