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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ConsciousnessAttribute

appearance as argument number 1

(documentation ConsciousnessAttribute ChineseLanguage "这是表示 一个 Organism 是否有意识或 Organism 意识的定性程度的 Attribute。") Merge.kif 18698-18699
(documentation ConsciousnessAttribute EnglishLanguage "Attributes that indicate whether an Organism is conscious or the qualitative degree of consciousness of an Organism.") Merge.kif 18695-18697
(externalImage ConsciousnessAttribute " commons/ 0/ 0c/ RobertFuddBewusstsein17Jh.png") pictureList.kif 8438-8438 externalImage 意識属性 and " RobertFuddBewusstsein17Jh.png"
(subclass ConsciousnessAttribute StateOfMind) Merge.kif 18694-18694 subclass 意識属性 and 精神状態

appearance as argument number 2

(instance Asleep ConsciousnessAttribute) Merge.kif 18710-18710 instance 眠っている and 意識属性
(instance Awake ConsciousnessAttribute) Merge.kif 18725-18725 instance 起きている and 意識属性
(instance Drugged ConsciousnessAttribute) Mid-level-ontology.kif 8334-8334 instance Drugged and 意識属性
(instance Sober ConsciousnessAttribute) Mid-level-ontology.kif 14000-14000 instance Sober and 意識属性
(instance Unconscious ConsciousnessAttribute) Merge.kif 18716-18716 instance 無意識 and 意識属性
(termFormat ChineseLanguage ConsciousnessAttribute "意识状态") chinese_format.kif 1265-1265 termFormat ChineseLanguage, 意識属性 and "意识状态"
(termFormat EnglishLanguage ConsciousnessAttribute "consciousness attribute") english_format.kif 1876-1876 termFormat EnglishLanguage, 意識属性 and "consciousness attribute"
(termFormat JapaneseLanguage ConsciousnessAttribute "意識属性") english_format.kif 1877-1877 termFormat JapaneseLanguage, 意識属性 and "意識属性"


        (instance ?AGENT SentientAgent)
        (attribute ?AGENT Living))
    (exists (?ATTR)
            (instance ?ATTR ConsciousnessAttribute)
            (attribute ?AGENT ?ATTR))))
Merge.kif 18701-18708 instance オブジェクト and 意識[知覚]を持つ代理(人) attribute オブジェクト and Living エンティティー instance エンティティー and 意識属性 attribute オブジェクト and エンティティー

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