Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

ONT Re: (archive : page & link ~> page)?


¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤

claim:

ont archive : page y & link z ~> page y.

proof:

ont archive : entry x ~> page y,

ont archive page y : link z ~> page y,

hence:

ont archive page y & link z ~> page y.

where:

here : http://suo.ieee.org/ontology/              ~> ont archive,
here : http://suo.ieee.org/ontology/msg03421.html ~> page y

entry x = "ONT (archive : page & link ~> page)?"_2
link z  = "http://suo.ieee.org/ontology/msg03421.html";

¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤