Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  finishes

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 7661-7663
No TPTP formula. May not be expressible in strict first order. Merge.kif 7658-7658 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 7659-7659 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 7656-7656 finishes is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7654-7654 finishes is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7657-7657 finishes is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7655-7655 finishes is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7653-7653 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 23812-23812
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23811-23811
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23810-23810

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 7665-7673 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 2838-2854
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 2142-2149
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 10581-10604
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 3685-3725
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 2729-2741
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3913-3917
No TPTP formula. May not be expressible in strict first order. Merge.kif 8874-8879
No TPTP formula. May not be expressible in strict first order. Merge.kif 8881-8891
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 8345-8352
No TPTP formula. May not be expressible in strict first order. Merge.kif 7929-7936
No TPTP formula. May not be expressible in strict first order. Merge.kif 7977-7979
No TPTP formula. May not be expressible in strict first order. Merge.kif 8280-8285
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 17523-17529

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners