Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
ProbabilityFn
Sigma KEE - ProbabilityFn
ProbabilityFn
appearance as argument number 1
(
documentation
ProbabilityFn
ChineseLanguage
"这是其中一个基本的
ProbabilityRelation
,
ProbabilityFn
是用来描述事态的先验机率。(
ProbabilityFn
?FORMULA)表示 ?FORMULA 的先验机率。")
chinese_format.kif 1901-1902
(
documentation
ProbabilityFn
EnglishLanguage
"One of the basic
ProbabilityRelation
s,
ProbabilityFn
is used to state the a priori probability of a state of affairs. (
ProbabilityFn
?FORMULA) denotes the a priori probability of ?FORMULA.")
Merge.kif 2576-2579
(
documentation
ProbabilityFn
JapaneseLanguage
"基本的な
ProbabilityRelation
の一つは、
ProbabilityFn
は、事態の先行確率を述えるために使用される。((
ProbabilityFn
?FORMULA) は ?FORMULAの先行確率を示する。")
japanese_format.kif 527-529
(
domain
ProbabilityFn
1
Formula
)
Merge.kif 2573-2573
Die Zahl 1 Argument von
Wahrscheinlichkeit
ist ein
fall
von
Formula
%n{nicht}
(
instance
ProbabilityFn
ProbabilityRelation
)
Merge.kif 2570-2570
Wahrscheinlichkeit
ist ein
fall
von
ProbabilityRelation
%n{nicht}
(
instance
ProbabilityFn
TotalValuedRelation
)
Merge.kif 2571-2571
Wahrscheinlichkeit
ist ein
fall
von
TotalValuedRelation
%n{nicht}
(
instance
ProbabilityFn
UnaryFunction
)
Merge.kif 2572-2572
Wahrscheinlichkeit
ist ein
fall
von
UnaryFunction
%n{nicht}
(
range
ProbabilityFn
RealNumber
)
Merge.kif 2574-2574
bildbereich
von
Wahrscheinlichkeit
ist ein fall von
RealNumber
{nicht}
appearance as argument number 2
(
format
ChineseLanguage
ProbabilityFn
"%1 的机率")
chinese_format.kif 271-271
(
format
EnglishLanguage
ProbabilityFn
"the
probability
of %1")
english_format.kif 276-276
(
format
FrenchLanguage
ProbabilityFn
"le probabilit� de %1")
french_format.kif 154-154
(
format
ItalianLanguage
ProbabilityFn
"la probabilità di%1")
relations-it.txt 232-232
(
format
JapaneseLanguage
ProbabilityFn
"%1 の
probability
")
japanese_format.kif 1982-1982
(
format
PortugueseLanguage
ProbabilityFn
"a probabilidade de %1")
portuguese_format.kif 106-106
(
format
de
ProbabilityFn
"die wahrscheinlichkeit von %1")
relations-de.txt 350-350
(
format
hi
ProbabilityFn
"%1 kii sambhaavyataa")
relations-hindi.txt 270-270
(
format
ro
ProbabilityFn
"
probability
%t{probabilitatea} lui %1")
relations-ro.kif 173-173
(
format
sv
ProbabilityFn
"sannolikheten för %1")
relations-sv.txt 160-160
(
format
tg
ProbabilityFn
"ang kalamangan mangyari %1")
relations-tg.txt 424-424
(
termFormat
ChineseLanguage
ProbabilityFn
"可能性")
domainEnglishFormat.kif 47492-47492
(
termFormat
ChineseLanguage
ProbabilityFn
"表示机率的函数")
chinese_format.kif 272-272
(
termFormat
ChineseTraditionalLanguage
ProbabilityFn
"可能性")
domainEnglishFormat.kif 47491-47491
(
termFormat
EnglishLanguage
ProbabilityFn
"probability")
domainEnglishFormat.kif 47490-47490
(
termFormat
de
ProbabilityFn
"Wahrscheinlichkeit")
terms-de.txt 112-112
antecedent
(=>
(
and
(
decreasesLikelihood
?FORMULA1 ?FORMULA2)
(
equal
(
ProbabilityFn
?FORMULA2) ?NUMBER1)
(
conditionalProbability
?FORMULA1 ?FORMULA2 ?NUMBER2))
(
lessThan
?NUMBER2 ?NUMBER1))
Merge.kif 2623-2628
Wenn
Formula
verringert die Wahrscheinlichkeit von
** Formula
%n{nicht} und die
wahrscheinlichkeit
von
** ** Formula
ist gleich
RealNumber
%n{nicht} und Gesetzt den Fall, dass
** ** Formula
gilt, ist die
wahrscheinlichkeit
von
** Formula
** RealNumber
,
dann
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht}
(=>
(
and
(
equal
?DEP
(
DepartmentOfFn
?COMP ?PHYS))
(
subOrganization
?DEP2 ?COMP)
(
not
(
equal
?DEP ?DEP2))
(
instance
?I ?PHYS)
(
inScopeOfInterest
?DEP ?I)
(
equal
?P1
(
ProbabilityFn
(
agent
?P ?DEP)))
(
equal
?P2
(
ProbabilityFn
(
agent
?P ?DEP2))))
(
greaterThan
?P1 ?P2))
Mid-level-ontology.kif 18343-18358
Wenn
Organization
ist gleich
DepartmentOfFn
** Organization
and
** Physical
%n{nicht} und
subOrganization
** Organization
2 and
** ** Organization
und
** Organization
ist gleich
** Organization
2 nicht und
Entity
ist ein
fall
von
** Physical
%n{nicht} und
** Organization
ist an
** Entity
interessiert
%n{nicht} und
RealNumber
ist gleich die
wahrscheinlichkeit
von
** entity
ist der
agent
von
** Organization
%n{nicht} %n{nicht} und
** ** entity
2 ist gleich die
wahrscheinlichkeit
von
** ** entity
ist der
agent
von
** Organization
2 %n{nicht} %n{nicht},
dann
** RealNumber
ist
groesserAls
** ** entity
2 %n{nicht}
(=>
(
and
(
governorSpeed
?V ?Q)
(
equal
(
MeasureFn
?FAST
MilesPerHour
)
(
SpeedFn
?L1 ?T1))
(
equal
(
MeasureFn
?SLOW
MilesPerHour
)
(
SpeedFn
?L2 ?T2))
(
greaterThan
?FAST ?SLOW)
(
equal
?FASTPROB
(
ProbabilityFn
(
measure
?V
(
MeasureFn
?FAST
MilesPerHour
))))
(
equal
?SLOWPROB
(
ProbabilityFn
(
measure
?V
(
MeasureFn
?SLOW
MilesPerHour
)))))
(
greaterThan
?SLOWPROB ?FASTPROB))
Cars.kif 2884-2902
Wenn
governorSpeed
SpeedGovernor
and
FunctionQuantity
und
RealNumber
MilesPerHour
(s) ist gleich
LengthMeasure
pro
&2 %n{nicht} und
** RealNumber
MilesPerHour
(s) ist gleich
** LengthMeasure
pro
&2 %n{nicht} und
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht} und
** RealNumber
PROB ist gleich die
wahrscheinlichkeit
von das
mass
von
** SpeedGovernor
ist
** RealNumber
MilesPerHour
(s) %n{nicht} %n{nicht} und
** ** RealNumber
PROB ist gleich die
wahrscheinlichkeit
von das
mass
von
** SpeedGovernor
ist
** ** RealNumber
MilesPerHour
(s) %n{nicht} %n{nicht},
dann
** ** RealNumber
PROB ist
groesserAls
** RealNumber
PROB %n{nicht}
(=>
(
and
(
increasesLikelihood
?FORMULA1 ?FORMULA2)
(
equal
(
ProbabilityFn
?FORMULA2) ?NUMBER1)
(
conditionalProbability
?FORMULA1 ?FORMULA2 ?NUMBER2))
(
greaterThan
?NUMBER2 ?NUMBER1))
Merge.kif 2606-2611
Wenn
Formula
vergroessert die Wahrscheinlichkeit von
** Formula
%n{nicht} und die
wahrscheinlichkeit
von
** ** Formula
ist gleich
RealNumber
%n{nicht} und Gesetzt den Fall, dass
** ** Formula
gilt, ist die
wahrscheinlichkeit
von
** Formula
** RealNumber
,
dann
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
and
(
independentProbability
?FORMULA1 ?FORMULA2)
(
equal
(
ProbabilityFn
?FORMULA2) ?NUMBER1)
(
conditionalProbability
?FORMULA1 ?FORMULA2 ?NUMBER2))
(
equal
?NUMBER2 ?NUMBER1))
Merge.kif 2640-2645
Wenn Die
wahrscheinlichkeit
von
Formula
und
** Formula
ist unabhaenig %n{nicht} und die
wahrscheinlichkeit
von
** ** Formula
ist gleich
RealNumber
%n{nicht} und Gesetzt den Fall, dass
** ** Formula
gilt, ist die
wahrscheinlichkeit
von
** Formula
** RealNumber
,
dann
** ** RealNumber
ist gleich
** RealNumber
%n{nicht}
(=>
(
and
(
topSpeed
?V
(
MeasureFn
?Q ?CU))
(
instance
?CU
CompositeUnitOfMeasure
)
(
instance
?UL
UnitOfLength
)
(
instance
?UD
UnitOfDuration
)
(
equal
?FASTPROB
(
ProbabilityFn
(
measure
?V
(
SpeedFn
(
MeasureFn
?L1 ?UL)
(
MeasureFn
?T1 ?UD)))))
(
equal
?SLOWPROB
(
ProbabilityFn
(
measure
?V
(
SpeedFn
(
MeasureFn
?L2 ?UL)
(
MeasureFn
?T2 ?UD)))))
(
greaterThan
(
SpeedFn
?L1 ?T1) ?Q)
(
greaterThan
?Q
(
SpeedFn
?L2 ?T2)))
(
greaterThan
?SLOWPROB ?FASTPROB))
Transportation.kif 1718-1736
Wenn
topSpeed
Vehicle
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
CompositeUnitOfMeasure
%n{nicht} und
Entity
ist ein
fall
von
UnitOfLength
%n{nicht} und
** Entity
ist ein
fall
von
UnitOfDuration
%n{nicht} und
** RealNumber
ist gleich die
wahrscheinlichkeit
von das
mass
von
** Vehicle
ist
LengthMeasure
** Entity
(s)
pro
&2 %n{nicht} %n{nicht} und
** RealNumber
ist gleich die
wahrscheinlichkeit
von das
mass
von
** Vehicle
ist
** LengthMeasure
** Entity
(s)
pro
&2 %n{nicht} %n{nicht} und
** LengthMeasure
pro
&2 ist
groesserAls
** RealNumber
%n{nicht} und
** RealNumber
ist
groesserAls
** ** LengthMeasure
pro
&2 %n{nicht},
dann
** ** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
and
(
typicalAction
?PROCESS ?AGENT)
(
instance
?A ?AGENT)
(
equal
?PPROB
(
ProbabilityFn
(
exists
(?X)
(
and
(
instance
?X ?PROCESS)
(
agent
?X ?A)))))
(
equal
?NOTPPROB
(
ProbabilityFn
(
not
(
exists
(?Y)
(
and
(
instance
?Y ?PROCESS)
(
agent
?Y ?A)))))))
(
greaterThan
?PPROB ?NOTPPROB))
Mid-level-ontology.kif 22832-22849
Wenn
typicalAction
** Process
and
** AutonomousAgent
und
Entity
ist ein
fall
von
** AutonomousAgent
%n{nicht} und
RealNumber
ist gleich die
wahrscheinlichkeit
von es gibt
** entity
um
** ** entity
ist ein
fall
von
** Process
%n{nicht} und
** ** entity
ist der
agent
von
** Entity
%n{nicht} %n{nicht} und
** RealNumber
ist gleich die
wahrscheinlichkeit
von es gibt nicht
** entity
um
** ** entity
ist ein
fall
von
** ** Process
%n{nicht} und
** ** entity
ist der
agent
von
** Entity
%n{nicht} %n{nicht},
dann
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
and
(
typicalPart
?PART ?WHOLE)
(
instance
?X ?PART)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?Y)
(
and
(
instance
?Y ?WHOLE)
(
part
?X ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?Z)
(
and
(
instance
?Z ?WHOLE)
(
part
?X ?Z)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Mid-level-ontology.kif 23640-23657
Wenn
typicalPart
** Object
and
** ** Object
und
Entity
ist ein
fall
von
** Object
%n{nicht} und
** ** Object
PROB ist gleich die
wahrscheinlichkeit
von es gibt
** entity
um
** ** entity
ist ein
fall
von
** ** Object
%n{nicht} und
** Entity
ist ein
teil
von
** ** entity
%n{nicht} %n{nicht} und
** RealNumber
ist gleich die
wahrscheinlichkeit
von es gibt nicht
** entity
um
** ** entity
ist ein
fall
von
** ** ** Object
%n{nicht} und
** Entity
ist ein
teil
von
** ** entity
%n{nicht} %n{nicht},
dann
** ** Object
PROB ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
and
(
typicalTemporalPart
?PART ?WHOLE)
(
instance
?X ?PART)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?Y)
(
and
(
instance
?Y ?WHOLE)
(
temporalPart
?X ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?Z)
(
and
(
instance
?Z ?WHOLE)
(
temporalPart
?X ?Z)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Cars.kif 1453-1470
Wenn
typicalTemporalPart
** Process
and
** ** Process
und
Entity
ist ein
fall
von
** Process
%n{nicht} und
** ** Process
PROB ist gleich die
wahrscheinlichkeit
von es gibt
** entity
um
** ** entity
ist ein
fall
von
** ** Process
%n{nicht} und
** Entity
ist ein
teil
von
** ** entity
%n{nicht} %n{nicht} und
** RealNumber
ist gleich die
wahrscheinlichkeit
von es gibt nicht
** entity
um
** ** entity
ist ein
fall
von
** ** ** Process
%n{nicht} und
** Entity
ist ein
teil
von
** ** entity
%n{nicht} %n{nicht},
dann
** ** Process
PROB ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
and
(
typicallyContainsPart
?PART ?WHOLE)
(
instance
?Y ?WHOLE)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?X1)
(
and
(
instance
?X1 ?PART)
(
part
?X1 ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?X2)
(
and
(
instance
?X2 ?PART)
(
part
?X2 ?Y)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Mid-level-ontology.kif 23677-23694
Wenn
typicallyContainsPart
** Object
and
** ** Object
und
Entity
ist ein
fall
von
** ** Object
%n{nicht} und
** Object
PROB ist gleich die
wahrscheinlichkeit
von es gibt
** entity
um
** ** entity
ist ein
fall
von
** ** Object
%n{nicht} und
** ** entity
ist ein
teil
von
** Entity
%n{nicht} %n{nicht} und
** RealNumber
ist gleich die
wahrscheinlichkeit
von es gibt nicht
** entity
um
** ** entity
ist ein
fall
von
** ** Object
%n{nicht} und
** ** entity
ist ein
teil
von
** Entity
%n{nicht} %n{nicht},
dann
** ** Object
PROB ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
and
(
typicallyContainsTemporalPart
?PART ?WHOLE)
(
instance
?Y ?WHOLE)
(
equal
?PARTPROB
(
ProbabilityFn
(
exists
(?X1)
(
and
(
instance
?X1 ?PART)
(
temporalPart
?X1 ?Y)))))
(
equal
?NOTPARTPROB
(
ProbabilityFn
(
not
(
exists
(?X2)
(
and
(
instance
?X2 ?PART)
(
temporalPart
?X2 ?Y)))))))
(
greaterThan
?PARTPROB ?NOTPARTPROB))
Cars.kif 1493-1510
Wenn
typicallyContainsTemporalPart
** Process
and
** ** Process
und
Entity
ist ein
fall
von
** ** Process
%n{nicht} und
** Process
PROB ist gleich die
wahrscheinlichkeit
von es gibt
** entity
um
** ** entity
ist ein
fall
von
** ** Process
%n{nicht} und
** ** entity
ist ein
teil
von
** Entity
%n{nicht} %n{nicht} und
** RealNumber
ist gleich die
wahrscheinlichkeit
von es gibt nicht
** entity
um
** ** entity
ist ein
fall
von
** ** Process
%n{nicht} und
** ** entity
ist ein
teil
von
** Entity
%n{nicht} %n{nicht},
dann
** ** Process
PROB ist
groesserAls
** ** RealNumber
%n{nicht}
consequent
(=>
(
and
(
confidenceInterval
?EXPERIMENT ?CONFIDENCE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA))
(
represents
?CONFIDENCE
(
ProbabilityFn
?FORMULA)))
UXExperimentalTerms.kif 531-537
Wenn
confidenceInterval
Experimenting
and
RealNumber
und
** Experimenting
ist ein
fall
von
Experimenting
%n{nicht} und
Formula
ist ein
fall
von
Formula
%n{nicht} und
** Formula
ist ein
patient
von
** Experimenting
%n{nicht},
dann
** RealNumber
drueckt
die
wahrscheinlichkeit
von
** Formula
aus
(=>
(
and
(
pValue
?EXPERIMENT ?VALUE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA))
(
represents
?VALUE
(
ProbabilityFn
?FORMULA)))
UXExperimentalTerms.kif 569-575
Wenn
pValue
Experimenting
and
RealNumber
und
** Experimenting
ist ein
fall
von
Experimenting
%n{nicht} und
Formula
ist ein
fall
von
Formula
%n{nicht} und
** Formula
ist ein
patient
von
** Experimenting
%n{nicht},
dann
** RealNumber
drueckt
die
wahrscheinlichkeit
von
** Formula
aus
(=>
(
emotionTendency
?A ?ES)
(
greaterThan
(
ProbabilityFn
(
attribute
?A ?ES))
(
ProbabilityFn
(
not
(
attribute
?A ?ES)))))
emotion.kif 146-153
Wenn
emotionTendency
AutonomousAgent
and
EmotionalState
,
dann die
wahrscheinlichkeit
von
** EmotionalState
ist ein
attribut
von
** AutonomousAgent
%n{nicht} ist
groesserAls
die
wahrscheinlichkeit
von
** EmotionalState
ist ein
attribut
von
** AutonomousAgent
nicht %n{nicht}
(=>
(
instance
?EXPERIMENT
Experimenting
)
(
exists
(?FORMULA ?RESULT)
(
and
(
instance
?RESULT
Formula
)
(
result
?EXPERIMENT ?RESULT)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA)
(
represents
(
ProbabilityFn
?FORMULA) ?RESULT))))
UXExperimentalTerms.kif 3800-3810
Wenn
Process
ist ein
fall
von
Experimenting
%n{nicht},
dann es gibt
Formula
und
Entity
um
** Entity
ist ein
fall
von
Formula
%n{nicht} und
** Entity
ist ein
resultat
von
** Process
%n{nicht} und
** Formula
ist ein
fall
von
Formula
%n{nicht} und
** Formula
ist ein
patient
von
** Process
%n{nicht} und die
wahrscheinlichkeit
von
** Formula
drueckt
** Entity
aus
(=>
(
modalAttribute
?FORMULA
Likely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
True
))
(
ProbabilityFn
(
truth
?FORMULA
False
))))
Merge.kif 17529-17531
Wenn die Aussage
Formula
hat die modale Kraft von
Likely
,
dann die
wahrscheinlichkeit
von
truth
** Formula
and
True
ist
groesserAls
die
wahrscheinlichkeit
von
truth
** Formula
and
False
%n{nicht}
(=>
(
modalAttribute
?FORMULA
Unlikely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
False
))
(
ProbabilityFn
(
truth
?FORMULA
True
))))
Merge.kif 17537-17539
Wenn die Aussage
Formula
hat die modale Kraft von
Unlikely
,
dann die
wahrscheinlichkeit
von
truth
** Formula
and
False
ist
groesserAls
die
wahrscheinlichkeit
von
truth
** Formula
and
True
%n{nicht}
(=>
(
standardRetailHours
?TIMEINT ?AGENT)
(
exists
(?FT ?T ?C ?SRH ?NONSRH)
(
and
(
instance
?FT
FinancialTransaction
)
(
agent
?FT ?AGENT)
(
instance
?T ?TIMEINT)
(
destination
?FT ?C)
(
equal
?SRH
(
ProbabilityFn
(
and
(
during
(
WhenFn
?FT) ?T)
(
customer
?C ?AGENT))))
(
equal
?NONSRH
(
ProbabilityFn
(
and
(
not
(
during
(
WhenFn
?FT) ?T))
(
customer
?C ?AGENT))))
(
greaterThan
?SRH ?NONSRH))))
Dining.kif 388-407
Wenn
standardRetailHours
** TimeInterval
and
AutonomousAgent
,
dann es gibt
Process
,
Entity
,, ,
** Entity
,, ,
RealNumber
, and und
** RealNumber
um
** Process
ist ein
fall
von
FinancialTransaction
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Entity
ist ein
fall
von
** TimeInterval
%n{nicht} und
** Process
endet an
** ** Entity
%n{nicht} und
** RealNumber
ist gleich die
wahrscheinlichkeit
von die
zeit
des Bestehens von
** Process
geschieht
waehrend
** Entity
%n{nicht} und
customer
** ** Entity
and
** AutonomousAgent
%n{nicht} und
** ** RealNumber
ist gleich die
wahrscheinlichkeit
von die
zeit
des Bestehens von
** Process
geschieht
waehrend
** Entity
nicht und
customer
** ** Entity
and
** AutonomousAgent
%n{nicht} und
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
tTest
?SAMPLE_COLL1 ?SAMPLE_COLL2 ?PROB)
(
exists
(?POP1 ?POP2 ?EXPERIMENT)
(
and
(
instance
?POP1
Collection
)
(
instance
?POP2
Collection
)
(
statisticalPopulation
?SAMPLE_COLL1 ?POP1 ?EXPERIMENT)
(
statisticalPopulation
?SAMPLE_COLL2 ?POP2 ?EXPERIMENT)
(
equal
?PROB
(
ProbabilityFn
(
equal
?POP1 ?POP2))))))
UXExperimentalTerms.kif 607-617
Wenn
tTest
entity
_COLL1,
** entity
_COLL2 and
RealNumber
,
dann es gibt
Collection
,
** Collection
, and und
Experimenting
um
** Collection
ist ein
fall
von
Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
Collection
%n{nicht} und
statisticalPopulation
** entity
_COLL1,
** Collection
and
** Experimenting
und
statisticalPopulation
** entity
_COLL2,
** ** Collection
and
** Experimenting
und
** RealNumber
ist gleich die
wahrscheinlichkeit
von
** Collection
ist gleich
** ** Collection
%n{nicht} %n{nicht}
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is
open source software
produced by
Articulate Software
and its partners