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 7676-7678
No TPTP formula. May not be expressible in strict first order. Merge.kif 7673-7673 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 7674-7674 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 7671-7671 finishes is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7669-7669 finishes is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7672-7672 finishes is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7670-7670 finishes is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7668-7668 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 430-430
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 23878-23878
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23877-23877
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23876-23876

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 7680-7688 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 2857-2873
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 660-672
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19143-19158
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2156-2163
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14053-14062
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14005-14010
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 159-170
No TPTP formula. May not be expressible in strict first order. Merge.kif 10596-10619
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14068-14077
No TPTP formula. May not be expressible in strict first order. Cars.kif 3727-3767
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18148-18157
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2748-2760
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3961-3965
No TPTP formula. May not be expressible in strict first order. Merge.kif 8889-8894
No TPTP formula. May not be expressible in strict first order. Merge.kif 8896-8906
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16910-16917
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14900-14906
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1411-1420
No TPTP formula. May not be expressible in strict first order. Merge.kif 8360-8367
No TPTP formula. May not be expressible in strict first order. Merge.kif 7944-7951
No TPTP formula. May not be expressible in strict first order. Merge.kif 7992-7994
No TPTP formula. May not be expressible in strict first order. Merge.kif 8295-8300
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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17523-17529

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25