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 18317-18319
(externalImage ConsciousnessAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 0c/ RobertFuddBewusstsein17Jh.png")	pictureList.kif 8436-8436
(subclass ConsciousnessAttribute StateOfMind)	Merge.kif 18316-18316	意识状态是心理状态的 subclass

appearance as argument number 2

(instance Asleep ConsciousnessAttribute)	Merge.kif 18338-18338	睡着是意识状态的 instance
(instance Awake ConsciousnessAttribute)	Merge.kif 18362-18362	觉醒是意识状态的 instance
(instance Conscious ConsciousnessAttribute)	Medicine.kif 434-434	Conscious 是意识状态的 instance
(instance Drugged ConsciousnessAttribute)	Mid-level-ontology.kif 8654-8654	下药是意识状态的 instance
(instance Sleepy ConsciousnessAttribute)	Mid-level-ontology.kif 16428-16428	Sleepy 是意识状态的 instance
(instance Sober ConsciousnessAttribute)	Mid-level-ontology.kif 16354-16354	清醒是意识状态的 instance
(instance Unconscious ConsciousnessAttribute)	Merge.kif 18356-18356	无意识是意识状态的 instance
(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 18330-18336

如果属性是意识状态的 instance 和那个属性是客体的 attribute，
然后那个客体是有感知的主事的 instance 和活的是那个客体的 attribute

consequent

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

Merge.kif 18321-18328

如果客体是有感知的主事的 instance 和活的是那个客体的 attribute，
然后有存在属性这样那个属性是意识状态的 instance 和那个属性是那个客体的 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: