PerceptualAttribute - Sigma Knowledge base Browser

appearance as argument number 1

(subclass PerceptualAttribute RelationalAttribute)	Merge.kif 17971-17971	Perceptual attribute is a subclass of relational attribute
(documentation PerceptualAttribute EnglishLanguage "Any Attribute whose presence is detected by an act of Perception.")	Merge.kif 17972-17973	Perceptual attribute is a subclass of relational attribute

appearance as argument number 2

(subclass SoundAttribute PerceptualAttribute)	Merge.kif 13906-13906	Sound attribute is a subclass of perceptual attribute
(subclass TasteAttribute PerceptualAttribute)	Merge.kif 17984-17984	Taste attribute is a subclass of perceptual attribute
(subclass OlfactoryAttribute PerceptualAttribute)	Merge.kif 17995-17995	Olfactory attribute is a subclass of perceptual attribute
(subclass VisualAttribute PerceptualAttribute)	Merge.kif 17999-17999	Visual attribute is a subclass of perceptual attribute
(subclass TextureAttribute PerceptualAttribute)	Merge.kif 18119-18119	Texture attribute is a subclass of perceptual attribute
(instance Braille PerceptualAttribute)	Dining.kif 236-236	Braille is an instance of perceptual attribute
(termFormat EnglishLanguage PerceptualAttribute "perceptual attribute")	english_format.kif 1721-1721	Braille is an instance of perceptual attribute

consequent

(=>
    (and
        (instance ?PERCEPTION Perception)
        (patient ?PERCEPTION ?OBJ))
    (exists (?PROP)
        (and
            (instance ?PROP PerceptualAttribute)
            (attribute ?OBJ ?PROP))))

If X is an instance of perception and Y is a patient of X, then there exists Z such that Z is an instance of perceptual attribute and Z is an attribute of Y