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 7524-7526
No TPTP formula. May not be expressible in strict first order. Merge.kif 7521-7521 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 7522-7522 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 7519-7519 finishes is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7517-7517 finishes is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7520-7520 finishes is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7518-7518 finishes is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7516-7516 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 "完成" is the printable form of finishes in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23809-23809 "饰面" is the printable form of finishes in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23808-23808 "飾面" is the printable form of finishes in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23807-23807 "finishes" is the printable form of finishes in english language

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 601-605 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 7528-7536 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. Mid-level-ontology.kif 660-672
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19101-19116
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2142-2149
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14025-14034
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13977-13982
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2837-2853
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 10440-10463
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14040-14049
No TPTP formula. May not be expressible in strict first order. Cars.kif 3683-3723
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18117-18126
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2728-2740
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3912-3916
No TPTP formula. May not be expressible in strict first order. Merge.kif 8734-8739
No TPTP formula. May not be expressible in strict first order. Merge.kif 8741-8751
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16879-16886
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14872-14878
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1405-1414
No TPTP formula. May not be expressible in strict first order. Merge.kif 8206-8213
No TPTP formula. May not be expressible in strict first order. Merge.kif 7791-7798
No TPTP formula. May not be expressible in strict first order. Merge.kif 7839-7841
No TPTP formula. May not be expressible in strict first order. Merge.kif 8141-8146
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 272-286
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 292-306
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17492-17498

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 JesusOfNazareth and the time interval starts the time of existence of TwelveApostles and for all an entity


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners