Washing
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5575-5576 | |
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 5574-5574 | Washing is a subclass of cleaning |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5573-5573 | 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 8858-8858 | 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 5578-5585 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20644-20648 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8886-8894 |
|
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 |
|