Mattress | ![]() |
appearance as argument number 1 |
![]() |
(documentation Mattress EnglishLanguage "A Mattress is a component of a Bed that is a cushion to make it more comfortable") | Mid-level-ontology.kif 4473-4474 | |
(subclass Mattress Artifact) | Mid-level-ontology.kif 4472-4472 |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage Mattress "mattress") | Mid-level-ontology.kif 4475-4475 |
antecedent |
![]() |
(=> (and (instance ?X Bed) (component ?BEDFRAME ?X) (instance ?BEDFRAME BedFrame) (component ?MATTRESS ?X) (instance ?MATTRESS Mattress)) (orientation ?MATTRESS ?BEDFRAME On)) |
Mid-level-ontology.kif 4497-4504 | |
(=> (instance ?X Mattress) (exists (?BED) (and (instance ?BED Bed) (component ?X ?BED)))) |
Mid-level-ontology.kif 4477-4482 | |
(=> (instance ?X Mattress) (hasPurpose ?X (exists (?PERSON) (and (attribute ?PERSON Asleep) (orientation ?PERSON ?X On))))) |
Mid-level-ontology.kif 4484-4490 |
![]() |
![]() |