Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  FruityFlavour
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Penne Pasta) | Food.kif 2789-2789 | Penne is a subclass of pasta |
| (documentation Penne EnglishLanguage "Pasta consisting of medium length tubes with ridges, cut diagonally at both ends. [Wikipedia]") | Food.kif 2790-2791 | Penne is a subclass of pasta |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Penne "penne") | domainEnglishFormat.kif 65303-65303 |
| antecedent |
|
|
| (=> (and (instance ?X Penne) (not (exists (?Y) (and (instance ?Y Penne) (part ?Y ?X))))) (and (exists (?HOLE2) (and (instance ?HOLE2 HoleRegion) (part ?X ?HOLE2))) (attribute ?X Fillable))) |
Food.kif 2792-2805 | If X is an instance of penne and there doesn't exist Y such that Y is an instance of penne and Y is a part of X, then there exists Z such that Z is an instance of hole and X is a part of Z and fillable is an attribute of X |
|