Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PerceptualAttribute
PerceptualAttribute

appearance as argument number 1
-------------------------


(documentation PerceptualAttribute ChineseLanguage "这是指任何经由某种 Perception 来 感应到存在的 Attribute。") chinese_format.kif 3935-3936
(documentation PerceptualAttribute EnglishLanguage "Any Attribute whose presence is detected by an act of Perception.") Merge.kif 17004-17005
(subclass PerceptualAttribute RelationalAttribute) Merge.kif 17003-17003

appearance as argument number 2
-------------------------


(instance Braille PerceptualAttribute) Dining.kif 232-232
(subclass OlfactoryAttribute PerceptualAttribute) Merge.kif 17027-17027
(subclass SoundAttribute PerceptualAttribute) Merge.kif 13034-13034
(subclass TasteAttribute PerceptualAttribute) Merge.kif 17016-17016
(subclass TextureAttribute PerceptualAttribute) Merge.kif 17151-17151
(subclass VisualAttribute PerceptualAttribute) Merge.kif 17031-17031
(termFormat ChineseLanguage PerceptualAttribute "感知属性") chinese_format.kif 1248-1248
(termFormat EnglishLanguage PerceptualAttribute "perceptual attribute") english_format.kif 1717-1717

consequent
-------------------------


(=>
    (and
        (instance ?PERCEPTION Perception)
        (patient ?PERCEPTION ?OBJ))
    (exists (?PROP)
        (and
            (instance ?PROP PerceptualAttribute)
            (attribute ?OBJ ?PROP))))
Merge.kif 17007-17014


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners