| Soap(soap)
| | bar_soap, bath_soap, built-soap_powder, castile_soap, face_soap, green_soap, leather_soap, liquid_soap, saddle_soap, soap, soap_flakes, soap_powder, soft_soap, toilet_soap, washing_powder |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5967-5973 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4824-4824 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5965-5965 | Soap is a subclass of surfactant |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53570-53570 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53569-53569 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53568-53568 |
|
|
|