Sigma KB Browser

KB Graph : Welcome guest : log in

[ Home | ] KB: Language:
Formal Language:

Relation: subrelation

	direct-children	documentation	graph
property	27	这个 Predicate 在 Entity 的实例和 Attribute 的实例成立。(property ?ENTITY ?ATTR) 的意思是 ?ENTITY 有 ?ATTR 的...	^
environmentAttributes	.		^
status	.		^
systemBehavior	.		^
designPattern	.		^
taskRelation	.		^
formOfAdaptation	.		^
complexity	.		^
strictness	.		^
abstractionLevel	.		^
shape	1		^
attribute	12	(attribute ?OBJECT ?PROPERTY) 的意思是 ?PROPERTY 是 ?OBJECT 的 Attribute。例如：(attribute MyLittleRe...	^
manner	.	(manner ?PROCESS ?MANNER) 的意思是 ?PROCESS 这个 Process 由 ?MANNER 这个 Attribute 来修饰。 Processe 的 &...	^
truth	.	这是把一句 Sentence 和它的 TruthValue 联系的 BinaryPredicate。	^
modalAttribute	.	这是一种用来表示 Proposition 所含规范力度的 BinaryRelation。(modalAttribute ?FORMULA ?PROP)的意思是由 ?FORMULA 所表达...	^

Relation: Term:

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

View format:

text