Washing(washing) | bathing, launder, lavation, lave, scour, scrub, wash, washing, washup |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5576-5577 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6968-6968 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8250-8250 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8251-8251 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5575-5575 | Washing is a subclass of cleaning |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5574-5574 | Washing is a subclass of removing |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8859-8859 | Bathing is a subclass of washing |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62259-62259 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62258-62258 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62257-62257 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5579-5586 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20645-20649 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8887-8895 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2454-2460 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1785-1802 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2182-2196 |
|