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 8094-8096
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1427-1429
No TPTP formula. May not be expressible in strict first order. Merge.kif 8091-8091 Le nombre 1 argument de finishes est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order. Merge.kif 8092-8092 Le nombre 2 argument de finishes est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order. Merge.kif 8089-8089 finishes est une instance de relation irr�flexive
No TPTP formula. May not be expressible in strict first order. Merge.kif 8087-8087 finishes est une instance de relation temporel
No TPTP formula. May not be expressible in strict first order. Merge.kif 8090-8090 finishes est une instance de relation total
No TPTP formula. May not be expressible in strict first order. Merge.kif 8088-8088 finishes est une instance de relation transitive
No TPTP formula. May not be expressible in strict first order. Merge.kif 8086-8086 finishes est une sous-relation de temporalPart

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. french_format.kif 245-245
No TPTP formula. May not be expressible in strict first order. relations-it.txt 111-111
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2039-2039
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 197-197
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 250-250
No TPTP formula. May not be expressible in strict first order. relations-de.txt 547-547
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 151-151
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 266-266
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 266-266
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 232-232
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 23876-23876
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23875-23875
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23874-23874
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 233-233

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 642-646 agreementPeriod FinancialAccount and interval temporel jour finit interval temporel maturityDate FinancialAccount and jour
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 8098-8106

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2917-2933
No TPTP formula. May not be expressible in strict first order. Merge.kif 8108-8116
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 487-499
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21473-21488
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 16379-16388
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16330-16335
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 45-56
No TPTP formula. May not be expressible in strict first order. Merge.kif 11327-11350
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16394-16403
No TPTP formula. May not be expressible in strict first order. Cars.kif 3718-3759
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20355-20364
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4070-4074
No TPTP formula. May not be expressible in strict first order. Merge.kif 9438-9443
No TPTP formula. May not be expressible in strict first order. Merge.kif 9445-9455
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20567-20577
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19094-19101
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17310-17316
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1025-1034
No TPTP formula. May not be expressible in strict first order. Merge.kif 8901-8908
No TPTP formula. May not be expressible in strict first order. Merge.kif 8478-8485
No TPTP formula. May not be expressible in strict first order. Merge.kif 8526-8528
No TPTP formula. May not be expressible in strict first order. Merge.kif 8829-8835
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 285-299
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 305-319

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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