Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Spaghetti(spaghetti) |  | spaghetti, spaghettini |
| appearance as argument number 1 |
|
|
| (subclass Spaghetti Pasta) | Food.kif 3492-3492 | Spaghetti is a subclass of pasta |
| (documentation Spaghetti EnglishLanguage "Spaghetti is a long, thin, cylindrical pasta. Spaghetti is made of semolina or flour and water. Italian dried spaghetti is made from durum wheat semolina, but outside of Italy it may be made with other kinds of flour. Traditionally most spaghetti was 50 cm (20ins) long, but shorter lengths gained in popularity during the latter half of the 20th century and now spaghetti is most commonly available in 25–30 cm (10–12 in) lengths. [Wikipedia]") | Food.kif 3493-3498 | Spaghetti is a subclass of pasta |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Spaghetti "spaghetti") | domainEnglishFormat.kif 65527-65527 |
| antecedent |
|
|
| (=> (and (instance ?S Spaghetti) (instance ?L Linguine) (instance ?U UnitOfLength) (width ?S (MeasureFn ?TW1 ?U)) (width ?L (MeasureFn ?TW2 ?U))) (greaterThan ?TW2 ?TW1)) |
Food.kif 2658-2667 | If X is an instance of spaghetti, Y is an instance of linguine, Z is an instance of unit of length, the width of X is W Z(s), and the width of Y is V Z(s), then V is greater than W |
| (=> (and (instance ?X Spaghetti) (not (exists (?Y) (and (instance ?Y Spaghetti) (part ?Y ?X))))) (attribute ?X LongAndThin)) |
Food.kif 3500-3508 | If X is an instance of spaghetti and there doesn't exist Y such that Y is an instance of spaghetti and Y is a part of X, then long and thin is an attribute of X |
|