No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18013-18013 |
Dry is the opposite of damp |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 3999-3999 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18014-18015 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9991-9991 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10889-10889 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10888-10888 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10883-10883 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10892-10892 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10884-10884 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10890-10890 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10885-10885 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10891-10891 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10886-10886 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10887-10887 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18012-18012 |
Dry is an instance of saturation attribute |