Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Linguine(linguine) |  | linguine, linguini |
| appearance as argument number 1 |
|
|
| (subclass Linguine Pasta) | Food.kif 2646-2646 | Linguine is a subclass of pasta |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Linguine "linguine") | domainEnglishFormat.kif 65120-65120 |
| 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 |
|