No TPTP formula. May not be expressible in strict first order. | Merge.kif 2194-2194 | Relacao Total e' uma sub-classe de Relacao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2195-2195 | Relacao Total e' uma sub-classe de InheritableRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2368-2368 | Relacao parcialmente Ordenada e' uma sub-classe de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6448-6448 | UnitOfMeasureMultiplier e' uma sub-classe de Relacao Total |