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

Formal Language: 



KB Term:  Term intersection
English Word: 

  finishes

Sigma KEE - finishes
finishes

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2704-2706
No TPTP formula. May not be expressible in strict first order. Merge.kif 8072-8074
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1427-1429
No TPTP formula. May not be expressible in strict first order. Merge.kif 8069-8069 The number 1 argument of finishes is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8070-8070 The number 2 argument of finishes is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8067-8067 finishes is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8065-8065 finishes is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8068-8068 finishes is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8066-8066 finishes is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8064-8064 finishes 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 421-421
No TPTP formula. May not be expressible in strict first order. english_format.kif 427-427
No TPTP formula. May not be expressible in strict first order. french_format.kif 245-245
No TPTP formula. May not be expressible in strict first order. relations-it.txt 111-111
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2039-2039
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 197-197
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 250-250
No TPTP formula. May not be expressible in strict first order. relations-de.txt 547-547
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 151-151
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 266-266
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 266-266
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 232-232
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 422-422
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23876-23876
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23875-23875
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23874-23874
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 233-233

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 642-646 A time interval is an agreement period of a financial account and a day finishes the time interval if and only if the day is a maturity date of the financial account
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 1270-1284
No TPTP formula. May not be expressible in strict first order. Merge.kif 8076-8084

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2917-2933
No TPTP formula. May not be expressible in strict first order. Merge.kif 8086-8094
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 21474-21489
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2196-2203
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16380-16389
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16331-16336
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 45-56
No TPTP formula. May not be expressible in strict first order. Merge.kif 11305-11328
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16395-16404
No TPTP formula. May not be expressible in strict first order. Cars.kif 3710-3751
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20356-20365
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4070-4074
No TPTP formula. May not be expressible in strict first order. Merge.kif 9416-9421
No TPTP formula. May not be expressible in strict first order. Merge.kif 9423-9433
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20568-20578
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19095-19102
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17311-17317
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 8879-8886
No TPTP formula. May not be expressible in strict first order. Merge.kif 8456-8463
No TPTP formula. May not be expressible in strict first order. Merge.kif 8504-8506
No TPTP formula. May not be expressible in strict first order. Merge.kif 8807-8813
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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 1970-1978 There exists a time interval such that the time interval is an instance of time interval and the time interval finishes the time of existence of Jesus of Nazareth and the time interval starts the time of existence of Twelve apostles and for all an entity


Show simplified definition (without tree view)
Show simplified definition (with tree view)

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