KingBed
|
|
appearance as argument number 1 |
(documentation KingBed EnglishLanguage "A KingBed is a type of Bed that is 1.9m by 2.0m in size") | Mid-level-ontology.kif 3773-3774 | |
(subclass KingBed Bed) | Mid-level-ontology.kif 3772-3772 |
appearance as argument number 2 |
(termFormat EnglishLanguage KingBed "king-sized bed") | Mid-level-ontology.kif 3775-3775 |
antecedent |
(=> (instance ?X KingBed) (and (width ?X (MeasureFn 1.9 Meter)) (length ?X (MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 3777-3781 | |
(=> (instance ?X KingBed) (modalAttribute (exists (?P1 ?P2 ?P3 ?TIME) (and (not (equal ?P1 ?P2)) (not (equal ?P2 ?P3)) (not (equal ?P1 ?P3)) (attribute ?P1 Asleep) (attribute ?P2 Asleep) (attribute ?P3 Asleep) (instance ?P1 Human) (instance ?P2 Human) (instance ?P3 Human) (holdsDuring ?TIME (and (located ?P1 ?X) (located ?P2 ?X) (located ?P3 ?X))))) Possibility)) |
Mid-level-ontology.kif 3783-3801 |