Buffet(buffet) | buffet |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 256-257 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 255-255 | Buffet is a subclass of collection |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 258-258 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 295-303 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 274-291 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 267-269 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 260-265 |
|