No TPTP formula. May not be expressible in strict first order. | Merge.kif 3533-3533 | Relacao estendida a Quantidades e' uma sub-classe de Relacao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3534-3534 | Relacao estendida a Quantidades e' uma sub-classe de InheritableRelation |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 642-642 | BinaryRelationExtendedToQuantities e' uma sub-classe de Relacao estendida a Quantidades |
![]() |