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 | Jour est une sous-classe de interval temporel |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9240-9240 | Lundi est une sous-classe de jour |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9243-9243 | Mardi est une sous-classe de jour |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9256-9256 | Mercredi est une sous-classe de jour |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9269-9269 | Jeudi est une sous-classe de jour |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9282-9282 | Vendredi est une sous-classe de jour |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9295-9295 | Samedi est une sous-classe de jour |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9308-9308 | Dimanche est une sous-classe de jour |
No TPTP formula. May not be expressible in strict first order. | Media.kif 335-335 | ChristmasDay est une sous-classe de jour |