Sandwich(sandwich) | BLT, Cuban_sandwich, Italian_sandwich, Reuben, Sloppy_Joe, bacon-lettuce-tomato_sandwich, beefburger, bomber, burger, butty, cheeseburger, chicken_sandwich, club_sandwich, grinder, gyro, ham_sandwich, hamburger, hero, hero_sandwich, hoagie, hoagy, hot_dog, hotdog, open-face_sandwich, open_sandwich, poor_boy, red_hot, sandwich, sub, submarine, submarine_sandwich, three-decker, torpedo, triple-decker, tunaburger, wedge, western, western_sandwich, wrap, zep |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1581-1582 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 713-713 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1580-1580 | Sandwich is a subclass of cooked dish |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51093-51093 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51092-51092 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51091-51091 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1584-1597 |
|