No TPTP formula. May not be expressible in strict first order. | Merge.kif 2159-2159 | Relacao e' uma sub-classe de Abstrato |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2176-2176 | Relacao com Valor Unico e' uma sub-classe de Relacao |
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 2223-2223 | Relacao Parcial e' uma sub-classe de Relacao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2232-2232 | Relacao Binaria e' uma sub-classe de Relacao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2558-2558 | InheritableRelation e' uma sub-classe de Relacao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2564-2564 | Relacao de Probabilidade e' uma sub-classe de Relacao |
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 2663-2663 | Relacao Temporal e' uma sub-classe de Relacao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2671-2671 | IntentionalRelation e' uma sub-classe de Relacao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2854-2854 | Relacao Ternaria e' uma sub-classe de Relacao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2861-2861 | Relacao Quaternaria e' uma sub-classe de Relacao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2868-2868 | Relacao Quinquenaria e' uma sub-classe de Relacao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3339-3339 | Predicado e' uma sub-classe de Relacao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3522-3522 | Relacao de aridade variavel e' uma sub-classe de Relacao |
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. | Economy.kif 965-965 | PPPBasedEconomicValuation e' uma sub-classe de Relacao |