Damp(damp) | bedewed, besprent, clamminess, damp, dampish, damply, dampness, dankness, dewy, humid, humidity, humidness, hydric, mesic, mesophytic, misty, moist, moistly, moistness, moisture, mugginess, muggy, rawness, reeking, sogginess, steamy, sticky, tacky, undried, washed, watery, wet, wetness |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 4000-4001 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18004-18005 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5945-5945 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18003-18003 | Damp is an instance of saturation attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17991-17991 | Dry is the opposite of damp |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18008-18008 | Wet is a subattribute of damp |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18438-18438 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18437-18437 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18436-18436 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5711-5718 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6611-6613 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12751-12764 |
|