Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Popcorn(popcorn) |  | popcorn |
| appearance as argument number 1 |
|
|
| (subclass Popcorn FruitOrVegetable) | Society.kif 785-785 | Popcorn is a subclass of fruit or vegetable |
| (documentation Popcorn EnglishLanguage "Popcorn, or popping corn, is corn (maize) which expands from the kernel and puffs up when heated.") | Society.kif 786-786 | Popcorn is a subclass of fruit or vegetable |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Popcorn "popcorn") | domainEnglishFormat.kif 65340-65340 |
| consequent |
|
|
| (=> (instance ?PM PopcornMaker) (hasPurpose ?PM (exists (?MAKE ?POPCORN) (and (instance ?MAKE Making) (result ?MAKE ?POPCORN) (instance ?POPCORN Popcorn) (instrument ?MAKE ?PM))))) |
Society.kif 790-798 | If X is an instance of PopcornMaker, then X has the purpose there exist Y, Z such that Y is an instance of making, Z is a result of Y, Z is an instance of popcorn, and X is an instrument for Y |
|