Sober - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Sober

Sober

appearance as argument number 1

(documentation Sober EnglishLanguage "The ConsciousnessAttribute of someone whose motor and cognitive faculties are not significantly impaired by a BiologicallyActiveSubstance.")	Mid-level-ontology.kif 16383-16384
(instance Sober ConsciousnessAttribute)	Mid-level-ontology.kif 16382-16382	Sober は意識属性の instance では %n

appearance as argument number 2

(contraryAttribute Drugged Sober)	Mid-level-ontology.kif 8683-8683	Drugged は Sober の disjoint では %n
(termFormat ChineseLanguage Sober "清醒")	domainEnglishFormat.kif 53596-53596
(termFormat ChineseTraditionalLanguage Sober "清醒")	domainEnglishFormat.kif 53595-53595
(termFormat EnglishLanguage Sober "sober")	domainEnglishFormat.kif 53594-53594

consequent

(=> (and (instance ?B BecomingDrunk) (experiencer ?B ?A)) (and (holdsDuring (BeginFn (WhenFn ?B)) (attribute ?A Sober)) (holdsDuring (EndFn (WhenFn ?B)) (attribute ?A Drunk))))	Mid-level-ontology.kif 16370-16380	工程は BecomingDrunk の instance では %n AutonomousAgent が工程を experiences %n{ない} Sober は AutonomousAgent の attribute では %n は工程の time の existence の beginning の during holds %n{ない} Drunk は AutonomousAgent の attribute では %n は工程の time の existence の end の during holds %n{ない}
(=> (and (instance ?B SoberingUp) (experiencer ?B ?A)) (and (holdsDuring (BeginFn (WhenFn ?B)) (attribute ?A Drunk)) (holdsDuring (EndFn (WhenFn ?B)) (attribute ?A Sober))))	Mid-level-ontology.kif 16390-16400	工程は SoberingUp の instance では %n AutonomousAgent が工程を experiences %n{ない} Drunk は AutonomousAgent の attribute では %n は工程の time の existence の beginning の during holds %n{ない} Sober は AutonomousAgent の attribute では %n は工程の time の existence の end の during holds %n{ない}
(=> (and (partyToAgreement ?A1 ?AG) (instance ?PROC IntentionalProcess) (result ?PROC ?DOC) (recordForAgreement ?DOC ?AG) (attribute ?AG Legal)) (holdsDuring (WhenFn ?PROC) (attribute ?A1 Sober)))	Law.kif 515-524	partyToAgreement 認識エージェント and Agreement 工程は意図的なプロセスの instance では %n ContentBearingPhysical は工程の result では %n recordForAgreement ContentBearingPhysical and Agreement Legal は Agreement の attribute では %n Sober は認識エージェントの attribute では %n は工程の time の existence の during holds %n{ない}

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