Sigma KB Browser

KB Graph : Welcome guest : log in

[ Home | ] KB: Language:
Formal Language:

Relation: subclass

	direct-children	documentation	graph
Relation	1769	関係の Class。Relation には、Predicate、 Function、と List の3種類がある。 %Predicate と Function の両方が、順序...	^
InheritableRelation	1765	Relations のクラスは、サブ Relations を介してクラス階層内でプロパティを下方に継承できる。	^
ProbabilityRelation	5	Relations の Class は、イベントまたは状況の確率の評価を可能にする。	^
ProbabilityFn	.	基本的な ProbabilityRelation の一つは、 ProbabilityFn は、事態の先行確率を述えるために使用される。((ProbabilityFn ?FORMULA) ...	^
conditionalProbability	.	基本的な ProbabilityRelation。 conditionalProbability の 1 つは、条件付き確率の数値を指定するために使用される。 (conditionalP...	^
increasesLikelihood	.	基本的な ProbabilityRelation。 (increasesLikelihood ?FORMULA1 ?FORMULA2) とは、?FORMULA1 が正しい場合、?FORMUL...	^
decreasesLikelihood	.	基本的な ProbabilityRelation。 (decreasesLikelihood ?FORMULA1 ?FORMULA2)とは、?FORMULA1が正しい場合、?FORMULA2...	^
independentProbability	.	基本的な ProbabilityRelation。 (independentProbability ?FORMULA1 ?FORMULA2)とは、?FORMULA1 と ?FORMULA2 ...	^

Relation: Term:

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

View format:

text