TreeView Knowledge Base Browser

appearance as argument number 1

(instance Bedridden DiseaseOrSyndrome)	Mid-level-ontology.kif 12525-12525	Bed ridden is an instance of disease or syndrome
(documentation Bedridden EnglishLanguage "Being largely confined to Bed as part of a DiseaseOrSyndrome.")	Mid-level-ontology.kif 12526-12527	Bed ridden is an instance of disease or syndrome

appearance as argument number 2

(termFormat EnglishLanguage Bedridden "bedridden")	Mid-level-ontology.kif 12528-12528
(termFormat EnglishLanguage Bedridden "bed ridden")	Mid-level-ontology.kif 12529-12529

antecedent

(=>
    (holdsDuring ?T
        (attribute ?H Bedridden))
    (holdsDuring ?T
        (modalAttribute
            (exists (?B)
                (and
                    (instance ?B Bed)
                    (located ?H ?B))) Likely)))

If bed ridden is an attribute of X holds during Y, then the statement there exists Z such that Z is an instance of bed and X is located at Z has the modal force of likely holds during Y