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(sober)

cold_sober, drug-free, dry, sober, stone-sober, teetotal, uninebriated, unintoxicated

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 17743-17744
(instance Sober ConsciousnessAttribute)	Mid-level-ontology.kif 17742-17742	Sober is an instance of consciousness attribute

appearance as argument number 2

(contraryAttribute Drugged Sober)	Mid-level-ontology.kif 9862-9862	Drugged is the opposite of sober
(termFormat ChineseLanguage Sober "清醒")	domainEnglishFormat.kif 53598-53598	Drugged is the opposite of sober
(termFormat ChineseTraditionalLanguage Sober "清醒")	domainEnglishFormat.kif 53597-53597	Drugged is the opposite of sober
(termFormat EnglishLanguage Sober "sober")	domainEnglishFormat.kif 53596-53596	Drugged is the opposite of sober

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 17730-17740	If a process is an instance of becoming drunk and an agent experiences the process, then sober is an attribute of the agent holds during the beginning of the time of existence of the process and drunk is an attribute of the agent holds during the end of the time of existence of the process
(=> (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 17750-17760	If a process is an instance of sobering up and an agent experiences the process, then drunk is an attribute of the agent holds during the beginning of the time of existence of the process and sober is an attribute of the agent holds during the end of the time of existence of the process
(=> (and (partyToAgreement ?A1 ?AG) (instance ?PROC IntentionalProcess) (result ?PROC ?DOC) (recordForAgreement ?DOC ?AG) (attribute ?AG Legal)) (holdsDuring (WhenFn ?PROC) (attribute ?A1 Sober)))	Law.kif 521-530	If an agreement is a party to agreement of a cognitive agent and a process is an instance of intentional process and a content bearing physical is a result of the process and the content bearing physical is the record of the agreement and legal is an attribute of the agreement, then sober is an attribute of the cognitive agent holds during the time of existence of the process

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