TreeView Knowledge Base Browser

appearance as argument number 1

(instance Injury DiseaseOrSyndrome)	Medicine.kif 100-100	Injury is an instance of disease or syndrome
(documentation Injury EnglishLanguage "Damange to an Organism that is the result of an Injuring.")	Medicine.kif 101-102	Injury is an instance of disease or syndrome

appearance as argument number 2

(termFormat EnglishLanguage Injury "injury")	Medicine.kif 103-103
(range InjuryCausedFn Injury)	Medicine.kif 389-389	The range of injury is an instance of injury
(subAttribute Bruise Injury)	Medicine.kif 403-403	A hematoma is a subattribute of injury
(subAttribute BurnInjury Injury)	Medicine.kif 6063-6063	Burn injury is a subattribute of injury

consequent

(=>
    (and
        (instance ?I Injuring)
        (experiencer ?I ?A))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?I))
        (attribute ?A Injury)))

If X is an instance of injuring and Y experiences X, then injury is an attribute of Y holds during immediately after the time of existence of X