Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass ConsciousnessAttribute StateOfMind) Merge.kif 18642-18642 Consciousness attribute is a subclass of state of mind
(documentation ConsciousnessAttribute EnglishLanguage "Attributes that indicate whether an Organism is conscious or the qualitative degree of consciousness of an Organism.") Merge.kif 18643-18645 Consciousness attribute is a subclass of state of mind
(externalImage ConsciousnessAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 0c/ RobertFuddBewusstsein17Jh.png") pictureList.kif 8435-8435 Consciousness attribute is a subclass of state of mind

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


(instance Asleep ConsciousnessAttribute) Merge.kif 18664-18664 Asleep is an instance of consciousness attribute
(instance Unconscious ConsciousnessAttribute) Merge.kif 18682-18682 Unconscious is an instance of consciousness attribute
(instance Awake ConsciousnessAttribute) Merge.kif 18688-18688 Awake is an instance of consciousness attribute
(instance Drugged ConsciousnessAttribute) Mid-level-ontology.kif 10015-10015 Drugged is an instance of consciousness attribute
(instance Sober ConsciousnessAttribute) Mid-level-ontology.kif 17988-17988 Sober is an instance of consciousness attribute
(instance Sleepy ConsciousnessAttribute) Mid-level-ontology.kif 18062-18062 Sleepy is an instance of consciousness attribute
(instance Conscious ConsciousnessAttribute) Medicine.kif 424-424 Conscious is an instance of consciousness attribute
(termFormat EnglishLanguage ConsciousnessAttribute "consciousness attribute") english_format.kif 1755-1755 Conscious is an instance of consciousness attribute

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


(=>
    (and
        (instance ?ATTR ConsciousnessAttribute)
        (attribute ?AGENT ?ATTR))
    (and
        (instance ?AGENT SentientAgent)
        (attribute ?AGENT Living)))		 Merge.kif 18656-18662 If X is an instance of consciousness attribute and X is an attribute of Y, then Y is an instance of sentient agent and living is an attribute of Y

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


(=>
    (and
        (instance ?AGENT SentientAgent)
        (attribute ?AGENT Living))
    (exists (?ATTR)
        (and
            (instance ?ATTR ConsciousnessAttribute)
            (attribute ?AGENT ?ATTR))))		 Merge.kif 18647-18654 If X is an instance of sentient agent and living is an attribute of X, then there exists Y such that Y is an instance of consciousness attribute and Y is an attribute of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners