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 8003-8005
No TPTP formula. May not be expressible in strict first order. Merge.kif 8000-8000 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 8001-8001 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 7998-7998 finishes is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7996-7996 finishes is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7999-7999 finishes is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7997-7997 finishes is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7995-7995 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 23870-23870
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23869-23869
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23868-23868

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 1270-1284
No TPTP formula. May not be expressible in strict first order. Merge.kif 8007-8015

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2929-2945
No TPTP formula. May not be expressible in strict first order. Merge.kif 8017-8025
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 21266-21281
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 16236-16245
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16187-16192
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 11203-11226
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16251-16260
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 20152-20161
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2820-2832
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4080-4084
No TPTP formula. May not be expressible in strict first order. Merge.kif 9345-9350
No TPTP formula. May not be expressible in strict first order. Merge.kif 9352-9362
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20363-20373
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18890-18897
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17167-17173
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 8808-8815
No TPTP formula. May not be expressible in strict first order. Merge.kif 8385-8392
No TPTP formula. May not be expressible in strict first order. Merge.kif 8433-8435
No TPTP formula. May not be expressible in strict first order. Merge.kif 8736-8742
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 285-299

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 1970-1978 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 Jesus of Nazareth and the time interval starts the time of existence of Twelve apostles 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