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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ConsciousnessAttribute
ConsciousnessAttribute

VerbNet: marvel-31.3|moon, marvel-31.3|moon,


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 16920-16922
(externalImage ConsciousnessAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 0c/ RobertFuddBewusstsein17Jh.png") pictureList.kif 8438-8438
(subclass ConsciousnessAttribute StateOfMind) Merge.kif 16919-16919 subclass ConsciousnessAttribute and StateOfMind

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


(instance Asleep ConsciousnessAttribute) Merge.kif 16933-16933 instance Asleep and ConsciousnessAttribute
(instance Awake ConsciousnessAttribute) Merge.kif 16943-16943 instance Awake and ConsciousnessAttribute
(instance Drugged ConsciousnessAttribute) Mid-level-ontology.kif 8337-8337 instance Drugged and ConsciousnessAttribute
(instance Sober ConsciousnessAttribute) Mid-level-ontology.kif 14001-14001 instance Sober and ConsciousnessAttribute
(instance Unconscious ConsciousnessAttribute) Merge.kif 16937-16937 instance Unconscious and ConsciousnessAttribute
(termFormat ChineseLanguage ConsciousnessAttribute "意识状态") chinese_format.kif 1265-1265
(termFormat EnglishLanguage ConsciousnessAttribute "consciousness attribute") english_format.kif 1756-1756

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


(<=>
    (and
        (instance ?AGENT SentientAgent)
        (attribute ?AGENT Living))
    (exists (?ATTR)
        (and
            (instance ?ATTR ConsciousnessAttribute)
            (attribute ?AGENT ?ATTR))))
Merge.kif 16924-16931 instance Object and SentientAgent attribute Object and Living Attribute instance Attribute and ConsciousnessAttribute attribute Object and Attribute


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners