Bidet |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2171-2172 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2170-2170 | Bidet est une sous-classe de WashingDevice |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2173-2173 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2175-2189 |
|