TreeView Knowledge Base Browser

appearance as argument number 1

(contraryAttribute Conscious Unconscious)	Medicine.kif 435-435	Conscious は無意識の disjoint では %n
(documentation Conscious EnglishLanguage "Unlike an Unconscious Human, a conscious one is able to perform at least some sort of IntentionalProcess, even if very minimal, such as Blinking of the Eye of someone who is suffereing from a profound Paralysis.")	Medicine.kif 436-438
(instance Conscious ConsciousnessAttribute)	Medicine.kif 434-434	Conscious は意識属性の instance では %n

appearance as argument number 2

(termFormat EnglishLanguage Conscious "conscious")

Medicine.kif 439-439

antecedent

(=>
    (holdsDuring ?T
        (attribute ?H Conscious))
    (holdsDuring ?T
        (capability IntentionalProcess agent ?H)))

Medicine.kif 441-445

Conscious はエンティティーの attribute では %n は時間位置の during holds %n{ない}
エンティティーは意図的なプロセスを agent として行う capable では %n は時間位置の during holds %n{ない}

consequent

(=> (and (instance ?A Sedating) (patient ?A ?P)) (holdsDuring (WhenFn ?A) (and (attribute ?P Conscious) (not (attribute ?P Anxiety)))))	Medicine.kif 983-992	工程は Sedating の instance では %n エンティティーは工程の patient では %n Conscious はエンティティーの attribute では %n Anxiety はエンティティーの attribute ではは工程の time の existence の during holds %n{ない}
(=> (and (instance ?S AbsenceSeizure) (experiencer ?S ?A)) (holdsDuring (WhenFn ?S) (not (attribute ?A Conscious))))	Medicine.kif 1690-1697	工程は AbsenceSeizure の instance では %n AutonomousAgent が工程を experiences %n{ない} Conscious は AutonomousAgent の attribute ではは工程の time の existence の during holds %n{ない}
(=> (and (instance ?S FocalSeizure) (experiencer ?S ?A)) (holdsDuring (WhenFn ?S) (attribute ?A Conscious)))	Medicine.kif 1669-1675	工程は FocalSeizure の instance では %n AutonomousAgent が工程を experiences %n{ない} Conscious は AutonomousAgent の attribute では %n は工程の time の existence の during holds %n{ない}
(=> (and (instance ?S TonicClonicSeizure) (experiencer ?S ?A)) (holdsDuring (WhenFn ?S) (not (attribute ?A Conscious))))	Medicine.kif 1639-1646	工程は TonicClonicSeizure の instance では %n AutonomousAgent が工程を experiences %n{ない} Conscious は AutonomousAgent の attribute ではは工程の time の existence の during holds %n{ない}
(=> (holdsDuring ?T (attribute ?H AVPUAlertStatus)) (holdsDuring ?T (attribute ?H Conscious)))	Medicine.kif 6433-6437	AVPUAlertStatus はエンティティーの attribute では %n は時間位置の during holds %n{ない} Conscious はエンティティーの attribute では %n は時間位置の during holds %n{ない}

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: