No TPTP formula. May not be expressible in strict first order. | Government.kif 619-625 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14854-14854 | FixedHoliday e' uma sub-classe de Holiday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 336-336 | ChristmasDay e' uma sub-classe de FixedHoliday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 518-518 | Epiphany e' uma sub-classe de FixedHoliday |
![]() |