TreeView Knowledge Base Browser - Wet

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Wet

Sigma KEE - Wet

Wet(wet)

douse, dowse, dripping, soaking, sodden, sopping, soppy, wet

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4002-4003
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18009-18011
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18007-18007	Wet is an instance of saturation attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18008-18008	Wet is a subattribute of damp

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62925-62925
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62924-62924
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62923-62923

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 18013-18021

If wet is an attribute of an object,
then for all another object
- if the other object is a part of the object,
- then there exists a third object such that the third object is a part of the other object and liquid is an attribute of the third object

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