No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24236-24246 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24195-24206 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9230-9230 | Dia e' uma sub-classe de Intervalo Temporal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9240-9240 | Segunda-feira e' uma sub-classe de Dia |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9243-9243 | Terca-feira e' uma sub-classe de Dia |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9256-9256 | Quarta-feira e' uma sub-classe de Dia |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9269-9269 | Quinta-feira e' uma sub-classe de Dia |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9282-9282 | Sexta-feira e' uma sub-classe de Dia |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9295-9295 | Sabado e' uma sub-classe de Dia |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9308-9308 | Domingo e' uma sub-classe de Dia |
No TPTP formula. May not be expressible in strict first order. | Media.kif 335-335 | ChristmasDay e' uma sub-classe de Dia |