| Linguine | |
| appearance as argument number 1 |
|
|
| (subclass Linguine Pasta) | Food.kif 2620-2620 | Linguine 是 Pasta 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Linguine "linguine") | domainEnglishFormat.kif 65117-65117 |
| antecedent |
|
|
| (=> (and (instance ?S Spaghetti) (instance ?L Linguine) (instance ?U UnitOfLength) (width ?S (MeasureFn ?W1 ?U)) (width ?L (MeasureFn ?W2 ?U))) (greaterThan ?W2 ?W1)) |
Food.kif 2632-2641 |
|
|
|