Sigma KB Browser

KB Graph : Welcome guest : log in

[ Home | LogLearn | Editor | ] KB: Language: Formal Language:

Relation: subclass

	direct-children	documentation	graph
Sentence	10	A syntactically well-formed formula of a Language. It includes, at minimum, a predicate and a sub...	^
Statement	3	A Sentence that is stated to be true.	^
Notification	1	A notification is a Statement that acts as an announcement, notice, or warning to the patient.	^
Fact	.	The class of Statements that are True.	^

Relation: Term:

Levels "above": Levels "below": Total term limit: Show instances:
All relations: Restrict to file:
Columns to display:

View format:

text