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 8108-8110
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 8105-8105 O argumento numero 1 de finishes e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order. Merge.kif 8106-8106 O argumento numero 2 de finishes e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order. Merge.kif 8103-8103 finishes e' uma instancia de Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order. Merge.kif 8101-8101 finishes e' uma instancia de Relacao Temporal
No TPTP formula. May not be expressible in strict first order. Merge.kif 8104-8104 finishes e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order. Merge.kif 8102-8102 finishes e' uma instancia de Relacao Transitiva
No TPTP formula. May not be expressible in strict first order. Merge.kif 8100-8100 finishes e' uma sub-relacao 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 Intervalo Temporal Dia termina em Intervalo Temporal maturityDate FinancialAccount and Dia
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 8112-8120

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 8122-8130
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 480-492
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21501-21516
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 16407-16416
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16358-16363
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 11351-11374
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16422-16431
No TPTP formula. May not be expressible in strict first order. Cars.kif 3695-3736
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20383-20392
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 9452-9457
No TPTP formula. May not be expressible in strict first order. Merge.kif 9459-9469
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20595-20605
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19122-19129
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17338-17344
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1018-1027
No TPTP formula. May not be expressible in strict first order. Merge.kif 8915-8922
No TPTP formula. May not be expressible in strict first order. Merge.kif 8492-8499
No TPTP formula. May not be expressible in strict first order. Merge.kif 8540-8542
No TPTP formula. May not be expressible in strict first order. Merge.kif 8843-8849
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