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 17457-17458
(subclass PerceptualAttribute RelationalAttribute) Merge.kif 17456-17456

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


(instance Braille PerceptualAttribute) Dining.kif 236-236
(subclass OlfactoryAttribute PerceptualAttribute) Merge.kif 17480-17480
(subclass SoundAttribute PerceptualAttribute) Merge.kif 13455-13455
(subclass TasteAttribute PerceptualAttribute) Merge.kif 17469-17469
(subclass TextureAttribute PerceptualAttribute) Merge.kif 17604-17604
(subclass VisualAttribute PerceptualAttribute) Merge.kif 17484-17484
(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 17460-17467


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