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. 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