Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| VacuumCleaner(vacuum cleaner) |  | Hoover, vacuum, vacuum_cleaner |
| appearance as argument number 1 |
|
|
| (subclass VacuumCleaner WashingDevice) | HouseholdAppliances.kif 679-679 | Vacuum cleaner is a subclass of washing device |
| (documentation VacuumCleaner EnglishLanguage "A Device designed to collect derbies by creating a partial vacuum with results with air suction.") | HouseholdAppliances.kif 680-680 | Vacuum cleaner is a subclass of washing device |
| (documentation VacuumCleaner EnglishLanguage "A vacuum cleaner is an electrical home appliance device that uses an air pump to create a partial vacuum to suck up dust and dirt, usually from floors, and optionally from other surfaces as well.") | Society.kif 713-714 | Vacuum cleaner is a subclass of washing device |
| (subclass VacuumCleaner ElectricDevice) | Society.kif 715-715 | Vacuum cleaner is a subclass of electric device |
| (subclass VacuumCleaner HomeAppliance) | Society.kif 716-716 | Vacuum cleaner is a subclass of home appliance |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage VacuumCleaner "vacuum cleaner") | domainEnglishFormat.kif 65685-65685 |
| antecedent |
|
|
| (=> (instance ?DEVICE VacuumCleaner) (exists (?CONTAINER) (and (part ?DEVICE ?CONTAINER) (instance ?CONTAINER Container)))) |
HouseholdAppliances.kif 684-689 | If X is an instance of vacuum cleaner, then there exists Y such that X is a part of Y and Y is an instance of container |
| (=> (instance ?DEVICE VacuumCleaner) (hasPurpose ?DEVICE (exists (?PROC ?CONTAINER ?STUFF) (and (instance ?PROC Inserting) (instrument ?PROC ?DEVICE) (instance ?CONTAINER Container) (agent ?PROC ?STUFF) (destination ?PROC ?CONTAINER) (part ?DEVICE ?CONTAINER))))) |
HouseholdAppliances.kif 693-703 | If X is an instance of vacuum cleaner, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of inserting (3) X is an instrument for Y (4) Z is an instance of container (5) W is an agent of Y (6) Y ends up at Z (7) X is a part of Z |
| (=> (instance ?VC VacuumCleaner) (hasPurpose ?VC (exists (?CLEAN) (and (instance ?CLEAN Cleaning) (instrument ?CLEAN ?VC))))) |
Society.kif 718-724 | If X is an instance of vacuum cleaner, then X has the purpose there exists Y such that Y is an instance of cleaning and X is an instrument for Y |
|