SofaBed
|
|
appearance as argument number 1 |
(documentation SofaBed EnglishLanguage "A SofaBed is a Bed that can be kept inside a compartment in a Sofa") | Mid-level-ontology.kif 3922-3923 | |
(subclass SofaBed Bed) | Mid-level-ontology.kif 3921-3921 | SofaBed は Bed の subclass では %n |
appearance as argument number 2 |
(termFormat EnglishLanguage SofaBed "sofa bed") | Mid-level-ontology.kif 3924-3924 |
antecedent |
(=> (instance ?X SofaBed) (exists (?SOFA ?STORAGE) (and (instance ?STORAGE Compartment) (part ?STORAGE ?SOFA) (instance ?SOFA Sofa) (hasPurpose ?STORAGE (exists (?K) (and (instance ?K Keeping) (patient ?K ?X) (destination ?K ?STORAGE))))))) |
Mid-level-ontology.kif 3926-3938 |