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 e' uma sub-classe de Cleaning |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5573-5573 | Washing e' uma sub-classe de Remover |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8858-8858 | Bathing e' uma sub-classe de 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 |
|