| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1274-1274 | LatinAmericanCuisine 是 Cuisine 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1552-1552 | ArgentineanCuisine 是 LatinAmericanCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1358-1358 | BolivianCuisine 是 LatinAmericanCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1554-1554 | BrazilianCuisine 是 LatinAmericanCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1556-1556 | CapeVerdeanCuisine 是 LatinAmericanCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1558-1558 | CentralAmericanCuisine 是 LatinAmericanCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1560-1560 | ChileanCuisine 是 LatinAmericanCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1562-1562 | ColombianCuisine 是 LatinAmericanCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1566-1566 | CostaRicanCuisine 是 LatinAmericanCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1568-1568 | EcuadorianCuisine 是 LatinAmericanCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1570-1570 | GuatemalanCuisine 是 LatinAmericanCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1572-1572 | GuyaneseCuisine 是 LatinAmericanCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1574-1574 | HonduranCuisine 是 LatinAmericanCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1564-1564 | MexicanCuisine 是 LatinAmericanCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1576-1576 | NicaraguanCuisine 是 LatinAmericanCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1578-1578 | PanLatinCuisine 是 LatinAmericanCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1580-1580 | ParaguayanCuisine 是 LatinAmericanCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1582-1582 | PeruvianCuisine 是 LatinAmericanCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1584-1584 | PuertoRicanCuisine 是 LatinAmericanCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1586-1586 | SalvadoranCuisine 是 LatinAmericanCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1588-1588 | UruguayanCuisine 是 LatinAmericanCuisine 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1590-1590 | VenezuelanCuisine 是 LatinAmericanCuisine 的 subAttribute |
| 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