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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ConsciousnessAttribute
ConsciousnessAttribute(consciousness attribute)
acroanaesthesia, acroanesthesia, alertly, anaesthesia, anesthesia, auto-suggestion, autosuggestion, block_anaesthesia, block_anesthesia, brain-fag, brown_study, catalepsy, caudal_anaesthesia, caudal_anesthesia, caudal_block, conduction_anaesthesia, conduction_anesthesia, consciousness, cryoanaesthesia, cryoanesthesia, daydream, dazed, dozy, dream, drowsily, drowsiness, drowsing, drowsy, drunk, drunkenness, ecstatic_state, epidural, epidural_anaesthesia, epidural_anesthesia, fugue, grogginess, hebetude, hibernation, high, hopped-up, hypnosis, hypnotic_trance, inebriation, inebriety, insensibility, insobriety, intoxicated, intoxication, lassitude, lethargy...

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


s__documentation(s__ConsciousnessAttribute,s__ChineseLanguage,'"这是表示 一个 Organism 是否有意识或 Organism 意识的定性程度的 Attribute。"')

chinese_format.kif 4039-4040
s__documentation(s__ConsciousnessAttribute,s__EnglishLanguage,'"Attributes that indicate whether an Organism is conscious or the qualitative degree of consciousness of an Organism."')

Merge.kif 17449-17451
s__externalImage(s__ConsciousnessAttribute,'"http://upload.wikimedia.org/wikipedia/ commons/ 0/ 0c/ RobertFuddBewusstsein17Jh.png"')

pictureList.kif 8437-8437
s__instance(s__StateOfMind,s__SetOrClass)

s__instance(s__ConsciousnessAttribute,s__SetOrClass)

s__subclass(s__ConsciousnessAttribute,s__StateOfMind)

Merge.kif 17448-17448 Consciousness attribute is a subclass of state of mind

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


s__instance(s__Asleep,s__ConsciousnessAttribute)

s__instance(s__ConsciousnessAttribute,s__SetOrClass)

Merge.kif 17462-17462 Asleep is an instance of consciousness attribute
s__instance(s__Awake,s__ConsciousnessAttribute)

s__instance(s__ConsciousnessAttribute,s__SetOrClass)

Merge.kif 17486-17486 Awake is an instance of consciousness attribute
s__instance(s__Drugged,s__ConsciousnessAttribute)

s__instance(s__ConsciousnessAttribute,s__SetOrClass)

Mid-level-ontology.kif 8066-8066 Drugged is an instance of consciousness attribute
s__instance(s__ConsciousnessAttribute,s__SetOrClass)

s__instance(s__Sleepy,s__ConsciousnessAttribute)

Mid-level-ontology.kif 14952-14952 Sleepy is an instance of consciousness attribute
s__instance(s__ConsciousnessAttribute,s__SetOrClass)

s__instance(s__Sober,s__ConsciousnessAttribute)

Mid-level-ontology.kif 14879-14879 Sober is an instance of consciousness attribute
s__instance(s__Unconscious,s__ConsciousnessAttribute)

s__instance(s__ConsciousnessAttribute,s__SetOrClass)

Merge.kif 17480-17480 Unconscious is an instance of consciousness attribute
s__termFormat(s__ChineseLanguage,s__ConsciousnessAttribute,'"意识状态"')

chinese_format.kif 1265-1265
s__termFormat(s__EnglishLanguage,s__ConsciousnessAttribute,'"consciousness attribute"')

english_format.kif 1756-1756

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


( ! [V__AGENT] :
   ((((s__instance(V__AGENT,s__SentientAgent) &
           s__attribute(V__AGENT,s__Living))
         =>
         ( ? [V__ATTR] :
           ((s__instance(V__ATTR,s__ConsciousnessAttribute) &
               s__attribute(V__AGENT,V__ATTR)))))
     &
     (( ? [V__ATTR] :
         ((s__instance(V__ATTR,s__ConsciousnessAttribute) &
             s__attribute(V__AGENT,V__ATTR))))
     =>
     (s__instance(V__AGENT,s__SentientAgent) &
       s__attribute(V__AGENT,s__Living))))
)
)

Merge.kif 17453-17460 An object is an instance of sentient agent and living is an attribute of the object if and only if there exists an attribute such that the attribute is an instance of consciousness attribute and the attribute is an attribute of the object


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