Warning: Table '.\drupal5\cache_page' is marked as crashed and should be repaired query: SELECT data, created, headers, expire FROM cache_page WHERE cid = 'http://ontoserver.rsuh.ru/ezop/?q=node%2F205' in C:\xampp\htdocs\ezop\includes\database.mysql.inc on line 172

Warning: Cannot modify header information - headers already sent by (output started at C:\xampp\htdocs\ezop\includes\database.mysql.inc:172) in C:\xampp\htdocs\ezop\includes\bootstrap.inc on line 531

Warning: Cannot modify header information - headers already sent by (output started at C:\xampp\htdocs\ezop\includes\database.mysql.inc:172) in C:\xampp\htdocs\ezop\includes\bootstrap.inc on line 532

Warning: Cannot modify header information - headers already sent by (output started at C:\xampp\htdocs\ezop\includes\database.mysql.inc:172) in C:\xampp\htdocs\ezop\includes\bootstrap.inc on line 533

Warning: Cannot modify header information - headers already sent by (output started at C:\xampp\htdocs\ezop\includes\database.mysql.inc:172) in C:\xampp\htdocs\ezop\includes\bootstrap.inc on line 534
Для всех[ @Список_переменных ] [ @Term ] => [ @Term ] ("@Название правила") | Web-сервер онтологий
Главная страница » База онтологий

Для всех[ @Список_переменных ] [ @Term ] => [ @Term ] ("@Название правила")

warning: Cannot modify header information - headers already sent by (output started at C:\xampp\htdocs\ezop\includes\database.mysql.inc:172) in C:\xampp\htdocs\ezop\includes\common.inc on line 141.
Submitted by admin on сб, 2007-04-21 20:00.
Тип результата: 

ex("command",[])

Шаблон разработан в понятии: 

Ядро системы

Тип аргументов: 

w("для"),w("всех"),var(ex("new",[])),var(ex("new",[])),
w("="),w(">"),var(ex("new",[])),w("("),var(ex("new",[])),w(")")

Комментарий: 

Введение аксиомы в виде правила переписывания

Имя операции: 

new_rwt_rule

»