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 7976-7978
No TPTP formula. May not be expressible in strict first order. Merge.kif 7973-7973 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 7974-7974 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 7971-7971 finishes is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7969-7969 finishes is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7972-7972 finishes is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7970-7970 finishes is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7968-7968 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 23871-23871
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

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


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
No TPTP formula. May not be expressible in strict first order. Merge.kif 7980-7988

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7990-7998
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 476-488
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20767-20782
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2169-2176
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15801-15810
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15752-15757
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 11160-11183
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15816-15825
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 19680-19689
No TPTP formula. May not be expressible in strict first order. Merge.kif 9314-9319
No TPTP formula. May not be expressible in strict first order. Merge.kif 9321-9331
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19886-19896
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18446-18453
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16728-16734
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 982-991
No TPTP formula. May not be expressible in strict first order. Merge.kif 8781-8788
No TPTP formula. May not be expressible in strict first order. Merge.kif 8358-8365
No TPTP formula. May not be expressible in strict first order. Merge.kif 8406-8408
No TPTP formula. May not be expressible in strict first order. Merge.kif 8709-8715
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 19064-19070
No TPTP formula. May not be expressible in strict first order. Merge.kif 8803-8810

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 1968-1976 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