Russian | English |
быть доказанным в качестве истинного на основе имеющихся знаний | be proven to be true with current knowledge (Alex_Odeychuk) |
быть запущенным на выполнение | have fired (говоря о продукционном правиле в экспертной системе Alex_Odeychuk) |
быть сохранённым на сервере онтологий | be saved to the ontology server (Alex_Odeychuk) |