DoubleBed | ![]() |
appearance as argument number 1 |
![]() |
(documentation DoubleBed EnglishLanguage "A DoubleBed is a type of Bed that is 1.35m by 2.0m in size") | Mid-level-ontology.kif 3788-3789 | |
(subclass DoubleBed Bed) | Mid-level-ontology.kif 3787-3787 |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage DoubleBed "full-sized bed") | Mid-level-ontology.kif 3790-3790 |
antecedent |
![]() |
(=> (instance ?X DoubleBed) (and (width ?X (MeasureFn 1.35 Meter)) (length ?X (MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 3792-3796 | |
(=> (instance ?X DoubleBed) (modalAttribute (exists (?P1 ?P2) (and (not (equal ?P1 ?P2)) (attribute ?P1 Asleep) (attribute ?P2 Asleep) (instance ?P1 Human) (instance ?P2 Human) (holdsDuring ?TIME (and (located ?P1 ?X) (located ?P2 ?X))))) Possibility)) |
Mid-level-ontology.kif 3798-3811 |
![]() |
![]() |