No TPTP formula. May not be expressible in strict first order. | Dining.kif 208-212 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 203-203 | BeverageMenu e' uma sub-classe de Menu |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 214-214 | AlcoholMenu e' uma sub-classe de BeverageMenu |
![]() |