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
-------------------------


(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 17679-17681
(externalImage ConsciousnessAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 0c/ RobertFuddBewusstsein17Jh.png") pictureList.kif 8437-8437
(subclass ConsciousnessAttribute StateOfMind) Merge.kif 17678-17678 Consciousness attribute is a subclass of state of mind

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


(instance Asleep ConsciousnessAttribute) Merge.kif 17692-17692 Asleep is an instance of consciousness attribute
(instance Awake ConsciousnessAttribute) Merge.kif 17716-17716 Awake is an instance of consciousness attribute
(instance Drugged ConsciousnessAttribute) Mid-level-ontology.kif 8232-8232 Drugged is an instance of consciousness attribute
(instance Sleepy ConsciousnessAttribute) Mid-level-ontology.kif 15823-15823 Sleepy is an instance of consciousness attribute
(instance Sober ConsciousnessAttribute) Mid-level-ontology.kif 15750-15750 Sober is an instance of consciousness attribute
(instance Unconscious ConsciousnessAttribute) Merge.kif 17710-17710 Unconscious is an instance of consciousness attribute
(termFormat ChineseLanguage ConsciousnessAttribute "意识状态") chinese_format.kif 1265-1265
(termFormat EnglishLanguage ConsciousnessAttribute "consciousness attribute") english_format.kif 1751-1751

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


(<=>
    (and
        (instance ?AGENT SentientAgent)
        (attribute ?AGENT Living))
    (exists (?ATTR)
        (and
            (instance ?ATTR ConsciousnessAttribute)
            (attribute ?AGENT ?ATTR))))
Merge.kif 17683-17690 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