Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  NonnegativeRealNumber

 Sigma KEE - NonnegativeRealNumber
NonnegativeRealNumber(非负实数)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1745-1745
No TPTP formula. May not be expressible in strict first order. Merge.kif 1923-1924
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 353-353
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11508-11508
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10149-10149
No TPTP formula. May not be expressible in strict first order. Merge.kif 1921-1921 非负实数 是 实数 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 4763-4763 绝对值函数 的 range 是 非负实数 的实例
No TPTP formula. May not be expressible in strict first order. Merge.kif 1976-1976 非负整数 是 非负实数 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1932-1932 正实数 是 非负实数 的 subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 863-863
No TPTP formula. May not be expressible in strict first order. english_format.kif 928-928
No TPTP formula. May not be expressible in strict first order. french_format.kif 539-539
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 69-69
No TPTP formula. May not be expressible in strict first order. terms-it.txt 72-72
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2224-2224
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 491-491
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 106-106
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 560-560
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 73-73

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 871-871 云覆盖部分 的 2 数量 是 非负实数 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 1306-1306 按基尼指数的收入分配 的 2 数量 是 非负实数 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 1291-1291 按基尼系数的收入分配 的 2 数量 是 非负实数 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 1366-1366 劳动力总数 的 2 数量 是 非负实数 的 instance
No TPTP formula. May not be expressible in strict first order. Economy.kif 1356-1356 期间劳动力总数 的 2 数量 是 非负实数 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 954-954 期间阴天 的 3 数量 是 非负实数 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 1024-1024 相对湿度 的 2 数量 是 非负实数 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 1675-1675 坡度 的 2 数量 是 非负实数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1892-1892 实数 详尽无遗地 partition 成 负实数 和 非负实数

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1926-1930 实数 是 非负实数 的 instance 若且唯若 那个 实数 是 greaterThanOrEqualTo 0 和 那个 实数 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 5195-5199