From: "Apache" <apache@digitalkingdom.org>
Date: Tue, 07 Jul 2015 23:12:04 -0700
To: webmaster@lojban.org, curtis289@att.net
Subject: [jvsw] Definition Added At Word grafu -- By krtisfranks
Bcc: jbovlaste-admin@lojban.org
Message-ID: <559cbf34.9SysqOaTdxMxm43D%webmaster@lojban.org>
User-Agent: Heirloom mailx 12.5 7/5/10
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Spam_score: 0.5
X-Spam_score_int: 5
X-Spam_bar: /
X-Spam-Report: Spam detection software, running on the system "stodi.digitalkingdom.org",
 has NOT identified this incoming email as spam.  The original
 message has been attached to this so you can view it or label
 similar future email.  If you have any questions, see
 the administrator of that system for details.
 
 Content preview:  In jbovlaste, the user krtisfranks has added a definition
   of "grafu" in the language "English". New Data: Definition: $x_1$ is the graph
    on vertices/nodes $x_2$ (set) and edges $x_3$ (set of ordered tuples of vertices
    in $x_2$) and with additional properties $x_4$. [...] 
 
 Content analysis details:   (0.5 points, 5.0 required)
 
  pts rule name              description
 ---- ---------------------- --------------------------------------------------
  0.0 URIBL_BLOCKED          ADMINISTRATOR NOTICE: The query to URIBL was blocked.
                             See
                             http://wiki.apache.org/spamassassin/DnsBlocklists#dnsbl-block
                              for more information.
                             [URIs: lojban.org]
  1.4 RCVD_IN_BRBL_LASTEXT   RBL: No description available.
                             [173.13.139.235 listed in bb.barracudacentral.org]
 -1.9 BAYES_00               BODY: Bayes spam probability is 0 to 1%
                             [score: 0.0000]
  1.0 RDNS_DYNAMIC           Delivered to internal network by host with
                             dynamic-looking rDNS


In jbovlaste, the user krtisfranks has added a
definition of "grafu" in the language "English".

New Data:

	Definition:
		$x_1$ is the graph on vertices/nodes $x_2$ (set) and edges $x_3$ (set of ordered tuples of vertices in $x_2$) and with additional properties $x_4$.

	Notes:
		A "web"/"network". An element of x2 is a "place" in a more generic/abstract/metaphoric sense than spatial; must be discrete. Thus, webpages, family diagrams, lattices, pages in a book, cities and roadways on a map, etc. constitute graphs. x1 also includes trees. Notice that both x2 and x3 are sets; a member of x3 is an ordered tuple, but the order only matters if x1 is oriented, in which case the edge connects from the first node in the tuple to the second node in the tuple (there should only be two entries in the tuple). x4 can include defining features, weights, etc. Equivalent to {grafu} (which is merely the gismu form of this word); very similar to {tcana}.

	Jargon:
		

	Gloss Keywords:
		Word: edge of graph, In Sense: 
		Word: graph, In Sense: graph theory
		Word: node, In Sense: vertex of graph
		Word: network, In Sense: graph
		Word: web, In Sense: graph

	Place Keywords:


You can go to <http://jbovlaste.lojban.org/dict/grafu> to see it.