No TPTP formula. May not be expressible in strict first order. | Merge.kif 2656-2656 | Relacao Espacial e' uma sub-classe de Relacao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2657-2657 | Relacao Espacial e' uma sub-classe de InheritableRelation |