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 e' uma sub-classe de Catalog |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 184-184 | SetMenu e' uma sub-classe de Menu |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 203-203 | BeverageMenu e' uma sub-classe de Menu |