TreeView Knowledge Base Browser - cloudCoverFraction

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

cloudCoverFraction

Sigma KEE - cloudCoverFraction

cloudCoverFraction

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 857-859
No TPTP formula. May not be expressible in strict first order.	Weather.kif 854-854	云覆盖部分的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 855-855	云覆盖部分的 2 数量是非负实数的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 853-853	云覆盖部分是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 468-468
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 467-467
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 466-466
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15294-15294
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15293-15293
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15292-15292

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 876-882	如果地区是地理区域的 instance 和过程是天气晴朗的 instance 和那个过程是 located 在那个地区和非负实数那个地区，然后那个非负实数是 lessThan 0.3
No TPTP formula. May not be expressible in strict first order.	Weather.kif 927-933	如果地区是地理区域的 instance 和过程是阴云密布的天气的 instance 和那个过程是 located 在那个地区和非负实数那个地区，然后那个非负实数是 greaterThan 0.7
No TPTP formula. May not be expressible in strict first order.	Weather.kif 901-909	如果地区是地理区域的 instance 和过程是部分多云的天气的 instance 和那个过程是 located 在那个地区和非负实数那个地区，然后那个非负实数是 greaterThanOrEqualTo 0.3 和那个非负实数是 lessThanOrEqualTo 0.7

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 866-874	如果地区是地理区域的 instance 和过程是天气晴朗的 instance 和那个过程是 located 在那个地区，然后有存在非负实数这样那个非负实数那个地区和那个非负实数是 lessThan 0.3
No TPTP formula. May not be expressible in strict first order.	Weather.kif 917-925	如果地区是地理区域的 instance 和过程是阴云密布的天气的 instance 和那个过程是 located 在那个地区，然后有存在非负实数这样那个非负实数那个地区和那个非负实数是 greaterThan 0.7
No TPTP formula. May not be expressible in strict first order.	Weather.kif 890-899	如果地区是地理区域的 instance 和过程是部分多云的天气的 instance 和那个过程是 located 在那个地区，然后有存在非负实数这样那个非负实数那个地区和那个非负实数是 greaterThanOrEqualTo 0.3 和那个非负实数是 lessThanOrEqualTo 0.7

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