Washing
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5570-5571 | |
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 5569-5569 | Washing is a subclass of cleaning |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5568-5568 | 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 8886-8886 | Bathing is a subclass of washing |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62261-62261 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62260-62260 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62259-62259 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5573-5580 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20672-20676 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8914-8922 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2447-2453 |
|
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 2175-2189 |
|