TreeView Knowledge Base Browser - ProbabilityFn

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ProbabilityFn

ProbabilityFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1901-1902
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2576-2579
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 527-529
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2573-2573	表示机率的函数的 1 数量是公式的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2570-2570	表示机率的函数是概率关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2571-2571	表示机率的函数是总值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2572-2572	表示机率的函数是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2574-2574	表示机率的函数的 range 是实数的实例

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 271-271
No TPTP formula. May not be expressible in strict first order.	english_format.kif 276-276
No TPTP formula. May not be expressible in strict first order.	french_format.kif 154-154
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 232-232
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1982-1982
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 106-106
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 350-350
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 270-270
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 173-173
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 160-160
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 424-424
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47492-47492
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 272-272
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47491-47491
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47490-47490
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 112-112

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2623-2628	如果公式减少另一个公式发生的机率和那个另外公式的机率 equal 实数和如果那个另外公式是正确，那那个公式的机率就是另一个实数，然后那个另外实数是 lessThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18342-18357	如果机构 equal DepartmentOfFn 另一个机构 and 有点物理和那个机构2 是那个另外机构 Organization 的一部分和那个机构不 equal 那个机构2 和实体是有点物理的 instance 和那个机构对那个实体感兴趣和实数 equal 那个机构是另一个实体的 agent 的机率和那个另外实体2 equal 那个机构2 是那个另外实体的 agent 的机率，然后那个实数是 greaterThan 那个另外实体2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2890-2908	如果 governorSpeed SpeedGovernor and 函数量和实数英里每小時 equal 长度测量除以持续时间和另一个实数英里每小時 equal 另一个长度测量除以另一个持续时间和那个实数是 greaterThan 那个另外实数和那个实数PROB equal 那个 SpeedGovernor 的 measure 是那个实数英里每小時的机率和那个另外实数PROB equal 那个 SpeedGovernor 的 measure 是那个另外实数英里每小時的机率，然后那个另外实数PROB 是 greaterThan 那个实数PROB
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2606-2611	如果公式增加另一个公式发生的机率和那个另外公式的机率 equal 实数和如果那个另外公式是正确，那那个公式的机率就是另一个实数，然后那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2640-2645	如果公式和另一个公式各自独立发生的机率是 %n 和那个另外公式的机率 equal 实数和如果那个另外公式是正确，那那个公式的机率就是另一个实数，然后那个另外实数 equal 那个实数
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1718-1736	如果车辆的 top speed 是实数测量单位和那个测量单位是 CompositeUnitOfMeasure 的 instance 和实体是 UnitOfLength 的 instance 和另一个实体是 UnitOfDuration 的 instance 和另一个实数 equal 那个车辆的 measure 是长度测量那个实体除以持续时间那个另外实体的机率和第三实数 equal 那个车辆的 measure 是另一个长度测量那个实体除以另一个持续时间那个另外实体的机率和那个长度测量除以那个持续时间是 greaterThan 那个实数和那个实数是 greaterThan 那个另外长度测量除以那个另外持续时间，然后那个第三实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22831-22848	如果有点过程是有点施事体的 typical action 和实体是有点施事体的 instance 和实数 equal 有存在另一个实体这样那个另外实体是有点过程的 instance 和那个实体是那个另外实体的 agent 的机率和另一个实数 equal 不存在第三实体这样那个第三实体是那个有点过程的 instance 和那个实体是那个第三实体的 agent 的机率，然后那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23639-23656	如果有点客体 typically 是另一个有点客体的 part 和实体是有点客体的 instance 和那个有点客体PROB equal 有存在另一个实体这样那个另外实体是另一个有点客体的 instance 和那个实体是那个另外实体的 part 的机率和另一个实数 equal 不存在第三实体这样那个第三实体是那个另外有点客体的 instance 和那个实体是那个第三实体的 part 的机率，然后那个有点客体PROB 是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1453-1470	如果 typicalTemporalPart 有点过程 and 另一个有点过程和实体是有点过程的 instance 和那个有点过程PROB equal 有存在另一个实体这样那个另外实体是另一个有点过程的 instance 和那个实体时段是那个另外实体时段的一 part 的机率和另一个实数 equal 不存在第三实体这样那个第三实体是那个另外有点过程的 instance 和那个实体时段是那个第三实体时段的一 part 的机率，然后那个有点过程PROB 是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23676-23693	如果有点客体 typically 有 part 另一个有点客体和实体是有点客体的 instance 和另一个有点客体PROB equal 有存在另一个实体这样那个另外实体是那个另外有点客体的 instance 和那个另外实体是那个实体的 part 的机率和另一个实数 equal 不存在第三实体这样那个第三实体是那个另外有点客体的 instance 和那个第三实体是那个实体的 part 的机率，然后那个另外有点客体PROB 是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1493-1510	如果 typicallyContainsTemporalPart 有点过程 and 另一个有点过程和实体是另一个有点过程的 instance 和有点过程PROB equal 有存在另一个实体这样那个另外实体是那个有点过程的 instance 和那个另外实体时段是那个实体时段的一 part 的机率和另一个实数 equal 不存在第三实体这样那个第三实体是那个有点过程的 instance 和那个第三实体时段是那个实体时段的一 part 的机率，然后那个有点过程PROB 是 greaterThan 那个另外实数

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 531-537	如果实数是在试验 confidence 和那个试验是试验的 instance 和公式是公式的 instance 和那个公式是那个试验的 patient，然后那个实数表达那个公式的机率
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 569-575	如果试验的 p-value 是实数和那个试验是试验的 instance 和公式是公式的 instance 和那个公式是那个试验的 patient，然后那个实数表达那个公式的机率
No TPTP formula. May not be expressible in strict first order.	emotion.kif 146-153	如果 emotionTendency 施事体 and 情绪状态，然后那个情绪状态是那个施事体的 attribute 的机率是 greaterThan 那个情绪状态不是那个施事体的 attribute 的机率
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3800-3810	如果过程是试验的 instance，然后有存在公式和实体这样那个实体是公式的 instance 和那个实体是那个过程的 result 和那个公式是公式的 instance 和那个公式是那个过程的 patient 和那个公式的机率表达那个实体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17551-17553	如果公式的声明 has 容易的语气，然后那个公式是真正的机率是 greaterThan 那个公式是假的机率
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17559-17561	如果公式的声明 has 较不可能的语气，然后那个公式是假的机率是 greaterThan 那个公式是真正的机率
No TPTP formula. May not be expressible in strict first order.	Dining.kif 388-407	如果 standard retail hours 对于施事体是有点时距，然后有存在过程，实体,，，另一个实体,，，实数， and 和另一个实数这样那个过程是金融交易的 instance 和那个施事体是那个过程的 agent 和那个实体是有点时距的 instance 和那个过程在那个另外实体结束和那个实数 equal 那个过程出现的 time 在那个实体时段内发生和那个施事体是那个另外实体的 customer 的机率和那个另外实数 equal 那个过程出现的 time doesn't 在那个实体时段内发生和那个施事体是那个另外实体的 customer 的机率和那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 607-617	如果实体_COLL1 和那个实体_COLL2 是在同一部分 statistical population 的机率是实数，然后有存在群体，另一个群体， and 和试验这样那个群体是群体的 instance 和那个另外群体是群体的 instance 和那个实体_COLL1 是那个群体的 sample 对于那个试验和那个实体_COLL2 是那个另外群体的 sample 对于那个试验和那个实数 equal 那个群体 equal 那个另外群体的机率

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