No TPTP formula. May not be expressible in strict first order. | Merge.kif 12456-12456 | Combiner 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 1896-1896 | Aerating est une sous-classe de combiner |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17529-17529 | Stirring est une sous-classe de combiner |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12523-12523 | Synth�se chimique est une sous-classe de combiner |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2472-2472 | Acidification est une sous-classe de combiner |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2893-2893 | Salination est une sous-classe de combiner |