| Penne | |
| appearance as argument number 1 |
|
|
| (documentation Penne EnglishLanguage "Pasta consisting of medium length tubes with ridges, cut diagonally at both ends. [Wikipedia]") | Food.kif 2761-2762 | |
| (subclass Penne Pasta) | Food.kif 2760-2760 | Penne est une sous-classe de Pasta |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Penne "penne") | domainEnglishFormat.kif 65300-65300 |
| antecedent |
|
|
| (=> (and (instance ?X Penne) (not (exists (?Y) (and (instance ?Y Penne) (part ?Y ?X))))) (and (exists (?HOLE2) (and (instance ?HOLE2 HoleRegion) (part ?X ?HOLE2))) (attribute ?X Fillable))) |
Food.kif 2763-2776 |
|
|
|