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

Formal Language: 


KB Term:  Term intersection
English Word: 

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