Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Drunk

Sigma KEE - Drunk
Drunk(drunk)besotted, blind_drunk, blotto, cockeyed, crocked, drunk, fuddled, half-seas-over, inebriated, intoxicated, loaded, pie-eyed, pissed, pixilated, plastered, potty, slopped, sloshed, smashed, soaked, soused, sozzled, squiffy, stiff, tiddly, tight, tipsy, wet

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8670-8671
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8669-8669 Drunk is a subattribute of drugged

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20544-20544
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20543-20543
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20542-20542

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8686-8693
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8673-8684

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16343-16353
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16363-16373


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