Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ProductPackage(product package) |
| appearance as argument number 1 |
|
| (subclass ProductPackage Container) | Economy.kif 5504-5504 | Product package is a subclass of container |
| (documentation ProductPackage EnglishLanguage "ProductPackage is the class of objects designed to contain Products for shipping and sale.") | Economy.kif 5506-5507 | Product package is a subclass of container |
| (subclass ProductPackage ArtifactPackage) | Society.kif 1351-1351 | Product package is a subclass of ArtifactPackage |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?ITEM PackagedBeverageArtifact) (exists (?DRINK ?PACKAGE) (and (instance ?DRINK BeverageArtifact) (instance ?PACKAGE ProductPackage) (contains ?PACKAGE ?DRINK)))) |
Society.kif 1365-1371 | If X is an instance of PackagedBeverageArtifact, then there exist Y, Z such that Y is an instance of BeverageArtifact, Z is an instance of product package, and Z contains Y |
|