No TPTP formula. May not be expressible in strict first order. | Merge.kif 12482-12482 | Separer est une sous-classe de processus requ�rant deux patients |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19597-19597 | Dialysis est une sous-classe de separer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19644-19644 | Chromatography est une sous-classe de separer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22028-22028 | Slicing est une sous-classe de separer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12499-12499 | Breaking est une sous-classe de separer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12559-12559 | D�composition chemical est une sous-classe de separer |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2569-2569 | CarbonDioxideEmission est une sous-classe de separer |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5696-5696 | Distilling est une sous-classe de separer |