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 8157-8159
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 8154-8154 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 8155-8155 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 8152-8152 finishes is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8150-8150 finishes is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8153-8153 finishes is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8151-8151 finishes is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8149-8149 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 23881-23881
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23880-23880
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23879-23879
No TPTP formula. May not be expressible in strict first order. terms-de.txt 168-168
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 644-648 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 1379-1393
No TPTP formula. May not be expressible in strict first order. Merge.kif 8161-8169

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2934-2950
No TPTP formula. May not be expressible in strict first order. Merge.kif 8171-8179
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. Hotel.kif 2207-2214
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 17718-17723
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 9469-9474
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. Cars.kif 3771-3812
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21973-21982
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4088-4092
No TPTP formula. May not be expressible in strict first order. Merge.kif 9552-9557
No TPTP formula. May not be expressible in strict first order. Merge.kif 9559-9569
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22185-22195
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 18862-18868
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 8617-8619
No TPTP formula. May not be expressible in strict first order. Merge.kif 8920-8926
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 285-299

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 1972-1980 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