| Cuisine(cuisine) | | cuisine, culinary_art |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1254-1260 | |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1253-1253 | Cuisine is a subclass of relational attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1276-1276 | African Cuisine is an instance of cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1278-1278 | American Cuisine is an instance of cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1268-1268 | Asian Cuisine is an instance of cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1280-1280 | Australian Cuisine is an instance of cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1282-1282 | Canadian Cuisine is an instance of cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1270-1270 | Caribbean Cuisine is an instance of cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1272-1272 | European Cuisine is an instance of cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1284-1284 | Fusion Cuisine is an instance of cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1288-1288 | Health Food Cuisine is an instance of cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1286-1286 | Jewish Cuisine is an instance of cuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1274-1274 | Latin American Cuisine is an instance of cuisine |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64724-64724 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1262-1266 |
|
|
|
|