Ambulatory - Sigma Knowledge base Browser

appearance as argument number 1

(instance Ambulatory BiologicalAttribute)	Medicine.kif 376-376	Ambulatory is an instance of biological attribute
(documentation Ambulatory EnglishLanguage "The capability of Walking.")	Medicine.kif 377-377	Ambulatory is an instance of biological attribute

appearance as argument number 2

(termFormat EnglishLanguage Ambulatory "ambulatory")

antecedent

(=>
    (holdsDuring ?T
        (attribute ?H Ambulatory))
    (holdsDuring ?T
        (capability Walking agent ?H)))

If ambulatory is an attribute of X holds during Y, then X is capable of doing walking as a agent holds during Y