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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ConsciousnessAttribute

Sigma KEE - ConsciousnessAttribute
ConsciousnessAttribute

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


(documentation ConsciousnessAttribute ChineseLanguage "这是表示 一个 Organism 是否有意识或 Organism 意识的定性程度的 Attribute。") chinese_format.kif 4039-4040
(documentation ConsciousnessAttribute EnglishLanguage "Attributes that indicate whether an Organism is conscious or the qualitative degree of consciousness of an Organism.") Merge.kif 18021-18023
(externalImage ConsciousnessAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 0c/ RobertFuddBewusstsein17Jh.png") pictureList.kif 8437-8437
(subclass ConsciousnessAttribute StateOfMind) Merge.kif 18020-18020 subclass ConsciousnessAttribute and StateOfMind

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


(instance Asleep ConsciousnessAttribute) Merge.kif 18042-18042 instance Asleep and ConsciousnessAttribute
(instance Awake ConsciousnessAttribute) Merge.kif 18066-18066 instance Awake and ConsciousnessAttribute
(instance Drugged ConsciousnessAttribute) Mid-level-ontology.kif 8258-8258 instance Drugged and ConsciousnessAttribute
(instance Sleepy ConsciousnessAttribute) Mid-level-ontology.kif 15849-15849 instance Sleepy and ConsciousnessAttribute
(instance Sober ConsciousnessAttribute) Mid-level-ontology.kif 15776-15776 instance Sober and ConsciousnessAttribute
(instance Unconscious ConsciousnessAttribute) Merge.kif 18060-18060 instance Unconscious and ConsciousnessAttribute
(termFormat ChineseLanguage ConsciousnessAttribute "意识状态") chinese_format.kif 1265-1265
(termFormat EnglishLanguage ConsciousnessAttribute "consciousness attribute") english_format.kif 1751-1751

antecedent
-------------------------


(=>
    (and
        (instance ?ATTR ConsciousnessAttribute)
        (attribute ?AGENT ?ATTR))
    (and
        (instance ?AGENT SentientAgent)
        (attribute ?AGENT Living)))
Merge.kif 18034-18040

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


(=>
    (and
        (instance ?AGENT SentientAgent)
        (attribute ?AGENT Living))
    (exists (?ATTR)
        (and
            (instance ?ATTR ConsciousnessAttribute)
            (attribute ?AGENT ?ATTR))))
Merge.kif 18025-18032


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

Show without tree


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