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

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


(instance Asleep ConsciousnessAttribute) Merge.kif 18395-18395 Asleep is an instance of consciousness attribute
(instance Awake ConsciousnessAttribute) Merge.kif 18419-18419 Awake is an instance of consciousness attribute
(instance Conscious ConsciousnessAttribute) Medicine.kif 434-434 Conscious is an instance of consciousness attribute
(instance Drugged ConsciousnessAttribute) Mid-level-ontology.kif 8873-8873 Drugged is an instance of consciousness attribute
(instance Sleepy ConsciousnessAttribute) Mid-level-ontology.kif 16647-16647 Sleepy is an instance of consciousness attribute
(instance Sober ConsciousnessAttribute) Mid-level-ontology.kif 16573-16573 Sober is an instance of consciousness attribute
(instance Unconscious ConsciousnessAttribute) Merge.kif 18413-18413 Unconscious is an instance of consciousness attribute
(termFormat ChineseLanguage ConsciousnessAttribute "意识状态") chinese_format.kif 1265-1265 Unconscious is an instance of consciousness attribute
(termFormat EnglishLanguage ConsciousnessAttribute "consciousness attribute") english_format.kif 1751-1751 Unconscious is an instance of consciousness attribute
(termFormat FrenchLanguage ConsciousnessAttribute "attribut de conscience") french_format.kif 943-943 Unconscious is an instance of consciousness attribute
(termFormat Hindi ConsciousnessAttribute "chetanaa visheshataa") terms-hindi.txt 478-478 Unconscious is an instance of consciousness attribute
(termFormat ItalianLanguage ConsciousnessAttribute "AttributoDiCoscienza") terms-it.txt 482-482 Unconscious is an instance of consciousness attribute
(termFormat JapaneseLanguage ConsciousnessAttribute "意識属性") japanese_format.kif 2627-2627 Unconscious is an instance of consciousness attribute
(termFormat PortugueseLanguage ConsciousnessAttribute "Atributo de Consciencia") portuguese_format.kif 895-895 Unconscious is an instance of consciousness attribute
(termFormat cz ConsciousnessAttribute "consciousness attribute") terms-cz.txt 518-518 Unconscious is an instance of consciousness attribute
(termFormat ro ConsciousnessAttribute "atribut de conºtienþã") relations-ro.kif 964-964 Unconscious is an instance of consciousness attribute
(termFormat tg ConsciousnessAttribute "katangian ng pakiramdam") terms-tg.txt 483-483 Unconscious is an instance of consciousness attribute

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


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

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


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


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