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 |
|