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. Merge.kif 11599-11601
No TPTP formula. May not be expressible in strict first order. Merge.kif 11595-11597
No TPTP formula. May not be expressible in strict first order. Merge.kif 11603-11605
No TPTP formula. May not be expressible in strict first order. Merge.kif 11592-11592 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 11593-11593 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 11590-11590 finishes is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11588-11588 finishes is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11591-11591 finishes is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11589-11589 finishes is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11587-11587 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 594-594
No TPTP formula. May not be expressible in strict first order. english_format.kif 595-595
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 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 11607-11615 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 1265-1279

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 661-673
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 2137-2144
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14026-14035
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13978-13983
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-171
No TPTP formula. May not be expressible in strict first order. Merge.kif 15449-15472
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14041-14050
No TPTP formula. May not be expressible in strict first order. Cars.kif 3677-3717
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 3906-3910
No TPTP formula. May not be expressible in strict first order. Merge.kif 13100-13105
No TPTP formula. May not be expressible in strict first order. Merge.kif 13107-13117
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16857-16864
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14873-14879
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1410-1419
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16834-16841
No TPTP formula. May not be expressible in strict first order. Merge.kif 11953-11960
No TPTP formula. May not be expressible in strict first order. Merge.kif 12021-12023
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16847-16852
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