Clean
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25555-25556 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25554-25554 | Clean is an instance of subjective assessment attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25572-25572 | Dirty is the opposite of clean |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25557-25557 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25564-25566 |
consequent |