No TPTP formula. May not be expressible in strict first order. | Dining.kif 178-182 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 172-172 | Menu est une sous-classe de Catalog |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 184-184 | SetMenu est une sous-classe de Menu |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 203-203 | BeverageMenu est une sous-classe de Menu |