Sigma KB Browser

KB Graph : Welcome guest : log in

[ Home | ] KB: Language:
Formal Language:

Relation: subrelation

	direct-children	documentation	graph
inScopeOfInterest	13	非常に一般的な Predicate。 (inScopeOfInterest ?AGENT ?ENTITY) とは、?ENTITY が ?AGENT の関心の範囲内であることを意味する。注：...	^
enemy	.		^
enjoys	.		^
dislikes	.		^
disapproves	.		^
approves	.		^
needs	1	(needs ?AGENT ?OBJECT) とは、?AGENT の継続的な存在のために ?OBJECT が物理的に必要であることを意味する。	^
wants	.	(wants ?AGENT ?OBJECT) とは、?OBJECT が ?AGENT によって望ましいことを意味する。　つまり、?AGENT は、OBJECT がその目標の1つを満たすと信じて...	^
desires	.	(desires ?AGENT ?FORMULA) とは、?AGENT が ?FORMULA によって表現された事態の状態をもたらすことを望んでいることを意味する。　注１：エージェントが望むも...	^
considers	.	(considers ?AGENT ?FORMULA) とは、AGENT が ?FORMULAによって表明された命題の真実について考慮または疑問に思っていることを意味する。	^
believes	.	信念の認識的述語。(believes ?AGENT ?FORMULA) とは、AGENT が?FORMULA によって表される命題を信じていることを意味する。	^
knows	.	知ることの認識的述語。 (knows ?AGENT ?FORMULA) とは、 ?AGENT が ?FORMULA によって表される命題を知っていることを意味する。 knows は意識を伴う...	^
says	.		^

Relation: Term:

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

View format:

text