No TPTP formula. May not be expressible in strict first order. | Merge.kif 9079-9079 | Mes e' uma sub-classe de Intervalo Temporal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9084-9084 | Janeiro e' uma sub-classe de Mes |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9098-9098 | Fevereiro e' uma sub-classe de Mes |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9122-9122 | Marco e' uma sub-classe de Mes |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9136-9136 | Abril e' uma sub-classe de Mes |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9150-9150 | Maio e' uma sub-classe de Mes |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9164-9164 | June e' uma sub-classe de Mes |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9178-9178 | Julho e' uma sub-classe de Mes |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9192-9192 | Agosto e' uma sub-classe de Mes |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9206-9206 | Setembro e' uma sub-classe de Mes |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9221-9221 | Outubro e' uma sub-classe de Mes |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9235-9235 | Novembro e' uma sub-classe de Mes |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9249-9249 | Dezembro e' uma sub-classe de Mes |