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 4280-4281 | |
(subclass DoubleBed Bed) | Mid-level-ontology.kif 4279-4279 | DoubleBed est une sous-classe de Bed |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage DoubleBed "full-sized bed") | Mid-level-ontology.kif 4282-4282 |
antecedent |
![]() |
(=> (instance ?X DoubleBed) (and (width ?X (MeasureFn 1.35 Meter)) (length ?X (MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 4284-4288 | |
(=> (instance ?X DoubleBed) (modalAttribute (exists (?P1 ?P2 ?TIME) (and (not (equal ?P1 ?P2)) (instance ?P1 Human) (instance ?P2 Human) (holdsDuring ?TIME (and (attribute ?P1 Asleep) (attribute ?P2 Asleep) (located ?P1 ?X) (located ?P2 ?X))))) Possibility)) |
Mid-level-ontology.kif 4290-4303 |
|
![]() |
![]() |