Ontology:Q541

1. [STM] (pronounced [STM]) true (logic) 1:(-)1:(-)1

Core characteristics

item type

S 1:(-)1:(-)1

[P] (pronounced [P]) label [string] (L)

[STM] (pronounced [STM]) true (logic) 1:(-)1:(-)1

E:boolean true

[P] (pronounced [P]) alias (en) [string]

true (logic)

T (logic, Common Lisp)

shares thematic block [Item] (BB) 1:(-)1:(-)1

[S0] (pronounced [S0]) truth value 1:(-)1:(-)1

field, scope, or group [Item]

formal logic (proposed; STM) 1:(-)1:(-)1

sub-case of [Item]

[S0] (pronounced [S0]) binary truth value 1:(-)1:(-)1

case of [Item]

atom (set theory)

category of statements

bit (computing)

super-case of [Item]

--

Components

consists of components [Item]

--

Wavebuilder combinations

[P] (pronounced [P]) Wavebuilder (pronounced Wavebuilder): forms result [Item]

[STM] (pronounced [STM]) true (logic) 1:(-)1:(-)1

along with [Item]

[STM] (pronounced [STM]) true (logic) 1:(-)1:(-)1

forming from [Item]

[STM] (pronounced [STM]) true (logic) 1:(-)1:(-)1

And True

[STM] (pronounced [STM]) true (logic) 1:(-)1:(-)1

[P] (pronounced [P]) Wavebuilder (pronounced Wavebuilder): forms result [Item]

false

along with [Item]

[STM] (pronounced [STM]) true (logic) 1:(-)1:(-)1

forming from [Item]

[STM] (pronounced [STM]) true (logic) 1:(-)1:(-)1

And False

false

Wavebuilder characterizations

Wavebuilder (pronounced Wavebuilder): route [Item]

[STM] (pronounced [STM]) true (logic) 1:(-)1:(-)1

along with [Item]

exactly one

forming from [Item]

exactly one

[S0] (pronounced [S0]) binary truth value 1:(-)1:(-)1

[STM] (pronounced [STM]) true (logic) 1:(-)1:(-)1