Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EngineeringConnection
EngineeringConnection(Conexao de Engenharia)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3648-3657
No TPTP formula. May not be expressible in strict first order. Merge.kif 16189-16205
No TPTP formula. May not be expressible in strict first order. Merge.kif 16188-16188 Conexao de Engenharia e' uma sub-classe de Componente de Engenharia

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1398-1398 Cable e' uma sub-classe de Conexao de Engenharia
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1387-1387 InternetConnection e' uma sub-classe de Conexao de Engenharia
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1062-1062
No TPTP formula. May not be expressible in strict first order. english_format.kif 1335-1335
No TPTP formula. May not be expressible in strict first order. french_format.kif 740-740
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 271-271
No TPTP formula. May not be expressible in strict first order. terms-it.txt 274-274
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2424-2424
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 692-692
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 310-310
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 761-761
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 275-275

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 16230-16230 O argumento numero 1 de connectsEngineeringComponents e' uma instancia de Conexao de Engenharia

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16207-16210