| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1274-1274 | 例 LatinAmericanCuisine and Cuisine |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1552-1552 | 子屬性 ArgentineanCuisine and LatinAmericanCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1358-1358 | 子屬性 BolivianCuisine and LatinAmericanCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1554-1554 | 子屬性 BrazilianCuisine and LatinAmericanCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1556-1556 | 子屬性 CapeVerdeanCuisine and LatinAmericanCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1558-1558 | 子屬性 CentralAmericanCuisine and LatinAmericanCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1560-1560 | 子屬性 ChileanCuisine and LatinAmericanCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1562-1562 | 子屬性 ColombianCuisine and LatinAmericanCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1566-1566 | 子屬性 CostaRicanCuisine and LatinAmericanCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1568-1568 | 子屬性 EcuadorianCuisine and LatinAmericanCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1570-1570 | 子屬性 GuatemalanCuisine and LatinAmericanCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1572-1572 | 子屬性 GuyaneseCuisine and LatinAmericanCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1574-1574 | 子屬性 HonduranCuisine and LatinAmericanCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1564-1564 | 子屬性 MexicanCuisine and LatinAmericanCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1576-1576 | 子屬性 NicaraguanCuisine and LatinAmericanCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1578-1578 | 子屬性 PanLatinCuisine and LatinAmericanCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1580-1580 | 子屬性 ParaguayanCuisine and LatinAmericanCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1582-1582 | 子屬性 PeruvianCuisine and LatinAmericanCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1584-1584 | 子屬性 PuertoRicanCuisine and LatinAmericanCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1586-1586 | 子屬性 SalvadoranCuisine and LatinAmericanCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1588-1588 | 子屬性 UruguayanCuisine and LatinAmericanCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1590-1590 | 子屬性 VenezuelanCuisine and LatinAmericanCuisine |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1275-1275 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners