Sigma KB Browser

KB Graph : Welcome guest : log in

[ Home | ] KB: Language:
Formal Language:

Relation: subclass

	direct-children	documentation	graph
Proposition	423	Proposition 是 Abstract 实体，它表达一个完整的意思或是一套想法。例如：公式 '(instance Yojo Cat)' 表达 Proposition 为那个叫佑...	^
Procedure	161	这是一种安照序列执行的模式。一些例子有 ComputerProgram、有限状态机、食谱、音阶、会议时间表、行车路线和戏剧和电影的剧本。	^
BestMatchAlgorithm	.		^
CodingScheme	9		^
EncodingProcedure	.		^
Orthography	.		^
ComputerProgram	118	这是一组可以由计算机执行的计算机编程语言的指令。	^
Plan	9	这是为了在将来能实现一个特定目标而成立的一组按顺序执行 Process 的规格。	^
Method	9		^
ComputerProtocol	3	一套规格用来完成些对于在两个(或更多) ComputerPrograms 之间传递的序列跟档案格式之任务	^
Software	123		^

Relation: Term:

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

View format:

text