|
|
  ElectronicMusic
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Linguine Pasta) | Food.kif 2620-2620 | Linguine は Pasta の subclass では %n |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Linguine "linguine") | domainEnglishFormat.kif 65119-65119 |
| 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 |
|
|
|