MurphyBed
|
|
appearance as argument number 1 |
(documentation MurphyBed EnglishLanguage "A MurphyBed is a type of Bed that can be stored vertically inside a wall, closet or cabinet") | Mid-level-ontology.kif 3889-3890 | |
(subclass MurphyBed Bed) | Mid-level-ontology.kif 3888-3888 | MurphyBed は Bed の subclass では %n |
appearance as argument number 2 |
(termFormat EnglishLanguage MurphyBed "pull-down bed") | Mid-level-ontology.kif 3891-3891 |
antecedent |
(=> (instance ?X MurphyBed) (exists (?STORAGE) (and (instance ?STORAGE Compartment) (meetsSpatially ?STORAGE ?X) (hasPurpose ?STORAGE (exists (?K) (and (instance ?K Keeping) (patient ?K ?X) (destination ?K ?STORAGE) (holdsDuring (WhenFn ?K) (attribute ?X Vertical)))))))) |
Mid-level-ontology.kif 3893-3907 |
|