RollawayBed - Sigma Knowledge base Browser

appearance as argument number 1

(documentation RollawayBed EnglishLanguage "A RollawayBed is a type of Bed that is mounted on rollers so that it can be easily moved")	Mid-level-ontology.kif 4442-4443
(subclass RollawayBed Bed)	Mid-level-ontology.kif 4441-4441

appearance as argument number 2

(termFormat EnglishLanguage RollawayBed "rollaway bed")

Mid-level-ontology.kif 4444-4444

antecedent

(=>
    (instance ?X RollawayBed)
    (exists (?WHEEL)
        (and
            (instance ?WHEEL Wheel)
            (part ?WHEEL ?X))))

Mid-level-ontology.kif 4446-4451