Knext

Query Results: Consist.v (page 420)

39,998 results in the active KB.

Messages may consist of a (message header).
Logical form
Learned from
4 sentences.
Vertices of a graph may consist of routers.
Logical form
Learned from
4 sentences.
An attribute may consist of a set of some values.
Logical form
Learned from
4 sentences.
Compound objects may consist of some (body parts).
Logical form
Learned from
4 sentences.
An area may consist of a collection of (router links).
Logical form
Learned from
4 sentences.
A (transport address) may consist of some address.
Logical form
Learned from
4 sentences.
A message may consist of a single byte of value.
Logical form
Learned from
4 sentences.
A (bit string) may consist of some number of bits of some address.
Logical form
Learned from
4 sentences.
A format may consist of a list of fields.
Logical form
Learned from
4 sentences.
Paths may consist of a list of ases.
Logical form
Learned from
4 sentences.
An address may consist of some parts.
Logical form
Learned from
4 sentences.
Tags may consist of subtags.
Logical form
Learned from
4 sentences.
A circuit may consist of a capacitor.
Logical form
Learned from
4 sentences.
Leads may consist of leads.
Logical form
Learned from
4 sentences.
A portfolio may consist of bonds.
Logical form
Learned from
4 sentences.

Search

Results returned on 2026-10-11.