Sigma KB Browser

KB Graph : Welcome guest : log in

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

Formal Language:

Relation: subclass

	direct-children	documentation	graph
Proposition	467	Propositions are Abstract entities that express a complete thought or a set of such thoughts. A...	^
Agreement	88	Agreement is the class of Propositions that express the contents of agreements entered into by ...	^
LicenseAgreement	.		^
InternationalAgreement	.	InternationalAgreement is the subclass of Agreements which are made by and between Nations.	^
FinancialAccount	46	A formal banking, brokerage, or business relationship established to provide for regular services, ...	^
Reservation	5	a Reservation is a type of Agreement between 2 agents that some resource offered by the one age...	^
Account	52	An agreement to provide something over a period of time in return for providing compensation, which...	^

Relation: Term:

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

View format:

text