TreeView Knowledge Base Browser - ConsciousnessAttribute

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 18295-18297
(externalImage ConsciousnessAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 0c/ RobertFuddBewusstsein17Jh.png")	pictureList.kif 8436-8436
(subclass ConsciousnessAttribute StateOfMind)	Merge.kif 18294-18294	子類 ConsciousnessAttribute and StateOfMind

appearance as argument number 2

(instance Asleep ConsciousnessAttribute)	Merge.kif 18316-18316	例 Asleep and ConsciousnessAttribute
(instance Awake ConsciousnessAttribute)	Merge.kif 18340-18340	例 Awake and ConsciousnessAttribute
(instance Conscious ConsciousnessAttribute)	Medicine.kif 434-434	例 Conscious and ConsciousnessAttribute
(instance Drugged ConsciousnessAttribute)	Mid-level-ontology.kif 8655-8655	例下藥 and ConsciousnessAttribute
(instance Sleepy ConsciousnessAttribute)	Mid-level-ontology.kif 16429-16429	例 Sleepy and ConsciousnessAttribute
(instance Sober ConsciousnessAttribute)	Mid-level-ontology.kif 16355-16355	例清醒 and ConsciousnessAttribute
(instance Unconscious ConsciousnessAttribute)	Merge.kif 18334-18334	例 Unconscious and ConsciousnessAttribute
(termFormat ChineseLanguage ConsciousnessAttribute "意识状态")	chinese_format.kif 1265-1265
(termFormat EnglishLanguage ConsciousnessAttribute "consciousness attribute")	english_format.kif 1751-1751
(termFormat FrenchLanguage ConsciousnessAttribute "attribut de conscience")	french_format.kif 943-943
(termFormat Hindi ConsciousnessAttribute "chetanaa visheshataa")	terms-hindi.txt 478-478
(termFormat ItalianLanguage ConsciousnessAttribute "AttributoDiCoscienza")	terms-it.txt 482-482
(termFormat JapaneseLanguage ConsciousnessAttribute "意識属性")	japanese_format.kif 2627-2627
(termFormat PortugueseLanguage ConsciousnessAttribute "Atributo de Consciencia")	portuguese_format.kif 895-895
(termFormat cz ConsciousnessAttribute "consciousness attribute")	terms-cz.txt 518-518
(termFormat ro ConsciousnessAttribute "atribut de conºtienþã")	relations-ro.kif 964-964
(termFormat tg ConsciousnessAttribute "katangian ng pakiramdam")	terms-tg.txt 483-483

antecedent

(=>
    (and
        (instance ?ATTR ConsciousnessAttribute)
        (attribute ?AGENT ?ATTR))
    (and
        (instance ?AGENT SentientAgent)
        (attribute ?AGENT Living)))

Merge.kif 18308-18314

例 Attribute and ConsciousnessAttribute attribute Object and Attribute
例 Object and SentientAgent attribute Object and 活的

consequent

(=>
    (and
        (instance ?AGENT SentientAgent)
        (attribute ?AGENT Living))
    (exists (?ATTR)
        (and
            (instance ?ATTR ConsciousnessAttribute)
            (attribute ?AGENT ?ATTR))))

Merge.kif 18299-18306

例 Object and SentientAgent attribute Object and 活的
Attribute 例 Attribute and ConsciousnessAttribute attribute Object and Attribute

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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

KB Term:			Term intersection

English Word: