![]() |
![]() ![]() ![]()
|
![]() |
|
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 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 |
![]() |
![]() |