TreeView Knowledge Base Browser - Sober

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16356-16357
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16355-16355	Sober is an instance of consciousness attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8656-8656	Drugged is the opposite of sober
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53594-53594
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53593-53593
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53592-53592

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16343-16353	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16363-16373	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
No TPTP formula. May not be expressible in strict first order.	Law.kif 515-524	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 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