Ketchup
|
|
appearance as argument number 1 |
(subclass Ketchup Sauce) | Food.kif 2614-2614 | Ketchup è una sottoclasse di Sauce |
appearance as argument number 2 |
(termFormat EnglishLanguage Ketchup "ketchup") | domainEnglishFormat.kif 65076-65076 |
antecedent |
(=> (instance ?K Ketchup) (material Tomato ?K)) |
Food.kif 2615-2617 |
|