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 3780-3781 | |
(subclass KingBed Bed) | Mid-level-ontology.kif 3779-3779 |
appearance as argument number 2 |
(termFormat EnglishLanguage KingBed "king-sized bed") | Mid-level-ontology.kif 3782-3782 |
antecedent |
(=> (instance ?X KingBed) (and (width ?X (MeasureFn 1.9 Meter)) (length ?X (MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 3784-3788 | |
(=> (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 3790-3808 |