WaterBed
|
|
appearance as argument number 1 |
(documentation WaterBed EnglishLanguage "WaterBed describes how the cushion of a Bed is filled with water") | Mid-level-ontology.kif 4109-4110 | |
(instance WaterBed BedAttribute) | Mid-level-ontology.kif 4108-4108 |
appearance as argument number 2 |
(termFormat EnglishLanguage WaterBed "water bed") | Mid-level-ontology.kif 4111-4111 | |
(termFormat EnglishLanguage WaterBed "waterbed") | Mid-level-ontology.kif 4112-4112 |
antecedent |
(=> (attribute ?X WaterBed) (exists (?MATTRESS ?WATER) (and (component ?MATTRESS ?X) (contains ?MATTRESS ?WATER) (instance ?WATER Water)))) |
Mid-level-ontology.kif 4114-4120 |