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 |
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. | Hotel.kif 1398-1398 | Cable e' uma sub-classe de Conexao de Engenharia |