TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3919-3920
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17556-17557
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17555-17555	较不可能是概率属性的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17547-17547	容易是较不可能的相反
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60476-60476
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60475-60475
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60474-60474

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 17559-17561

如果公式的声明 has 较不可能的语气，
然后那个公式是假的机率是 greaterThan 那个公式是真正的机率

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13535-13544	如果有点客体的 maximum 预期价值是实数测量单位和那个测量单位是 CompositeUnitOfMeasure 的 instance，然后有存在实体和那个实数UANTITY 这样那个实体是有点客体的 instance 和那个实体的 measure 是那个实数UANTITY 那个测量单位和那个实数UANTITY 是 greaterThan 那个实数的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13546-13557	如果有点客体的 maximum 预期价值是实数测量单位和类是 NonCompositeUnitOfMeasure 的 subclass 和那个测量单位是那个类的 instance，然后有存在实体，那个实数UANTITY， and 和第三实体这样那个实体是有点客体的 instance 和那个实体的 measure 是那个实数UANTITY 那个第三实体和那个第三实体是那个类的 instance 和那个实数UANTITY 那个第三实体是 greaterThan 那个实数那个测量单位的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13485-13496	如果有点客体的 maximum 預期半径是实数测量单位和另一个客体是有点客体的 instance 和球是那个另外客体的 attribute，然后有存在那个实数ADIUS 这样那个另外客体的 radius 是那个实数ADIUS 那个测量单位和那个实数ADIUS 是 greaterThan 那个实数的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13565-13574	如果有点客体的预期 value 是实数测量单位和那个测量单位是 CompositeUnitOfMeasure 的 instance，然后有存在实体和那个实数UANTITY 这样那个实体是有点客体的 instance 和那个实体的 measure 是那个实数UANTITY 那个测量单位和那个实数UANTITY 是 greaterThan 那个实数和 1.5 的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13576-13585	如果有点客体的预期 value 是实数测量单位和那个测量单位是 CompositeUnitOfMeasure 的 instance，然后有存在实体和那个实数UANTITY 这样那个实体是有点客体的 instance 和那个实体的 measure 是那个实数UANTITY 那个测量单位和那个实数UANTITY 是 lessThan 那个实数和 .5 的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13504-13513	如果有点客体的 minimum 预期价值是实数测量单位和那个测量单位是 CompositeUnitOfMeasure 的 instance，然后有存在实体和那个实数UANTITY 这样那个实体是有点客体的 instance 和那个实体的 measure 是那个实数UANTITY 那个测量单位和那个实数UANTITY 是 lessThan 那个实数的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13515-13526	如果有点客体的 minimum 预期价值是实数测量单位和类是 NonCompositeUnitOfMeasure 的 subclass 和那个测量单位是那个类的 instance，然后有存在实体，那个实数UANTITY， and 和第三实体这样那个实体是有点客体的 instance 和那个实体的 measure 是那个实数UANTITY 那个第三实体和那个第三实体是那个类的 instance 和那个实数UANTITY 是 lessThan 那个实数的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13466-13476	如果有点客体的 minimum 预期半径是实数测量单位和另一个客体是有点客体的 instance 和球是那个另外客体的 attribute，然后有存在那个实数ADIUS 这样那个另外客体的 radius 是那个实数ADIUS 那个测量单位和那个实数ADIUS 是 lessThan 那个实数的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2784-2796	如果实体是 COVIDAntibody 的 instance 和 Covid19 不是另一个实体的 attribute 和那个实体是那个另外实体的 part 在时间位置 holdsDuring，然后 Covid19 是那个另外实体的 attribute 的声明 has 较不可能的语气在紧接那个时间位置 after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1594-1604	如果过程是洪水的 instance 和客体是土地面积的 instance 和那个过程是 located 在那个客体和时点是时点的 instance 和那个时点%n在那个过程出现的 time before发生，然后那个客体是淹没的土地面积的 instance 在那个时点 holdsDuring 的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9773-9794	如果转移是消化的 instance 和施事体经历了那个转移和 objectTransferred 那个转移 and 客体和那个客体是 MoodStabilizer 的 instance 和过程是那个过程C 的 instance 和那个施事体是事件那个过程的 involved 和那个过程S 是那个施事体的 attribute 在那个过程出现的 time holdsDuring 和那个过程S 是情绪状态的 instance 和那个过程2 是那个过程C 的 instance 和那个施事体是事件那个过程2 的 involved 和那个过程2 出现的 time 比那个转移出现的 time发生的earlier，然后那个过程S 是那个施事体的 attribute doesn't 在那个过程2 holdsDuring 的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7497-7509	如果自身连接物体是液体滴的 instance 和另一个自身连接物体是那个自身连接物体的 surface，然后有存在那个另外自身连接物体S 和另一个实体这样那个另外实体是物质的 instance 和液体是那个另外实体的 attribute 和那个自身连接物体不 equal 那个另外实体和那个另外自身连接物体S 是那个另外实体的 surface 和那个另外自身连接物体接上那个另外自身连接物体S 的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29835-29841	如果 approximateValue 实数 and 另一个实数，然后 0.9 是 greaterThan 那个实数和那个另外实数的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29843-29849	如果 approximateValue 实数 and 另一个实数，然后 0.9 是 greaterThan 那个另外实数和那个实数的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 667-675	如果机构允许在有点时点之后的 checkins ，然后有存在实体和另一个实体这样那个实体是有点时点的 instance 和那个另外实体是 CheckInService 的 instance 和那个机构是那个另外实体的 agent 和那个另外实体出现的 time 的开始%n在那个实体 before发生的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13364-13373	如果有点客体的 maximum 预期高度是实数测量单位，然后有存在实体和那个实数EIGHT 这样那个实体是有点客体的 instance 和那个实体的 height 是那个实数EIGHT 那个测量单位和那个实数EIGHT 是 greaterThan 那个实数的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13430-13439	如果有点客体的 maximum 预期长度是实数测量单位，然后有存在实体和那个实数ENGTH 这样那个实体是有点客体的 instance 和那个实体的 length 是那个实数ENGTH 那个测量单位和那个实数ENGTH 是 greaterThan 那个测量单位的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13397-13406	如果有点客体的 maximum 预期宽度是实数测量单位，然后有存在实体和那个实数IDTH 这样那个实体是有点客体的 instance 和那个实体的 width 是那个实数IDTH 那个测量单位和那个实数IDTH 是 greaterThan 那个实数的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13348-13356	如果有点客体的 minimum 预期高度是实数测量单位，然后有存在实体和那个实数EIGHT 这样那个实体是有点客体的 instance 和那个实体的 height 是那个实数EIGHT 那个测量单位和那个实数EIGHT 是 lessThan 那个实数的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13414-13422	如果有点客体的 minimum 预期长度是实数测量单位，然后有存在实体和那个实数ENGTH 这样那个实体是有点客体的 instance 和那个实体的 length 是那个实数ENGTH 那个测量单位和那个实数ENGTH 是 lessThan 那个实数的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13381-13389	如果有点客体的 minimum 预期宽度是实数测量单位，然后有存在实体和那个实数IDTH 这样那个实体是有点客体的 instance 和那个实体的 width 是那个实数IDTH 那个测量单位和那个实数IDTH 是 lessThan 那个实数的声明 has 较不可能的语气
No TPTP formula. May not be expressible in strict first order.	Law.kif 422-430	如果 distrusts 有认知的主事, 施事体 and 有点有意图过程，然后那个有认知的主事 believes 有存在有点有意图过程I 这样那个有点有意图过程I 是那个有点有意图过程的 instance 和那个施事体是那个有点有意图过程I 的 agent 的声明 has 较不可能的语气

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

KB Term:			Term intersection

English Word: