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 7815-7817
No TPTP formula. May not be expressible in strict first order. Merge.kif 7812-7812 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 7813-7813 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 7810-7810 finishes is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7808-7808 finishes is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7811-7811 finishes is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7809-7809 finishes is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7807-7807 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. chinese_format.kif 422-422
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23871-23871
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23870-23870
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23869-23869

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 602-606 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. Merge.kif 7819-7827 A time interval finishes another time interval if and only if the beginning of the other time interval happens before the beginning of the time interval and the end of the other time interval is equal to the end of the time interval
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 1275-1289

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2878-2894
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 458-470
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20740-20755
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2169-2176
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15774-15783
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15725-15730
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 43-54
No TPTP formula. May not be expressible in strict first order. Merge.kif 10881-10904
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15789-15798
No TPTP formula. May not be expressible in strict first order. Cars.kif 3714-3754
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19653-19662
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2769-2781
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3985-3989
No TPTP formula. May not be expressible in strict first order. Merge.kif 9077-9082
No TPTP formula. May not be expressible in strict first order. Merge.kif 9084-9094
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19859-19869
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18419-18426
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16701-16707
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 963-972
No TPTP formula. May not be expressible in strict first order. Merge.kif 8548-8555
No TPTP formula. May not be expressible in strict first order. Merge.kif 8130-8137
No TPTP formula. May not be expressible in strict first order. Merge.kif 8178-8180
No TPTP formula. May not be expressible in strict first order. Merge.kif 8482-8488
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 274-288
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 294-308

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25