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 7984-7986
No TPTP formula. May not be expressible in strict first order. Merge.kif 7981-7981 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 7982-7982 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 7979-7979 finishes is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7977-7977 finishes is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7980-7980 finishes is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7978-7978 finishes is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7976-7976 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 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 1275-1289
No TPTP formula. May not be expressible in strict first order. Merge.kif 7988-7996

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2924-2940
No TPTP formula. May not be expressible in strict first order. Merge.kif 7998-8006
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 482-494
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20875-20890
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 15876-15885
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15827-15832
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 11173-11196
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15891-15900
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 19765-19774
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2815-2827
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4022-4026
No TPTP formula. May not be expressible in strict first order. Merge.kif 9325-9330
No TPTP formula. May not be expressible in strict first order. Merge.kif 9332-9342
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19972-19982
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18530-18537
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16805-16811
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 992-1001
No TPTP formula. May not be expressible in strict first order. Merge.kif 8789-8796
No TPTP formula. May not be expressible in strict first order. Merge.kif 8366-8373
No TPTP formula. May not be expressible in strict first order. Merge.kif 8414-8416
No TPTP formula. May not be expressible in strict first order. Merge.kif 8717-8723
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 274-288

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25