Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  starts

 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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners