TreeView Knowledge Base Browser - greaterThanOrEqualTo

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1735-1736
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1881-1883
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 343-344
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1877-1877	大于或等于的 1 数量是实数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1878-1878	大于或等于的 2 数量是实数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1873-1873	大于或等于是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1874-1874	大于或等于是偏序关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1875-1875	大于或等于是延伸数量关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1879-1879	大于或等于是少于或等于的 inverse
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1876-1876	大于或等于是实数的 trichotomizingOn

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 113-113
No TPTP formula. May not be expressible in strict first order.	english_format.kif 113-113
No TPTP formula. May not be expressible in strict first order.	french_format.kif 78-78
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 122-122
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1905-1905
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 30-30
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 79-79
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 130-130
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 162-162
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 97-97
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 77-77
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 250-250
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 114-114
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26537-26537
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26536-26536
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 38-38
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 251-251

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7469-7479	客体是悬浮颗粒的 instance 和自身连接物体是那个客体的 part 和 1 的 approximate diameter 是 %2 和实数是 greaterThanOrEqualTo 2.5 若且唯若有存在那个客体25 这样那个客体25 是细悬浮颗粒的 instance 和那个客体25 是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1885-1889	实数是 greaterThanOrEqualTo 另一个实数若且唯若那个实数 equal 那个另外实数或那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2080-2090	如果实数测量单位是地理区域的 arable 土地和那个实数是 greaterThanOrEqualTo 0.0 和另一个实数那个测量单位是那个地理区域的 total 區域和那个另外实数是面积测量的 instance 和第三实数 equal 那个实数和那个另外实数，然后那个第三实数那个测量单位是那个地理区域的 arable 土地
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2092-2106	如果实数测量单位是地理区域的 arable 土地和那个实数是 greaterThanOrEqualTo 0.0 和另一个实数那个测量单位是那个地理区域的 total 區域和那个测量单位是 UnitOfArea 的 instance，然后有存在另一个地理区域这样那个另外地理区域是耕地的 instance 和那个另外地理区域是那个地理区域的 geographic 次要地区和那个另外地理区域的 measure 是那个实数和那个另外实数那个测量单位
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	如果限价订单是金融交易的 attribute 和协议是那个金融交易的 party 协议和经纪人是那个协议的 attribute 和那个金融交易是對於安全的 order 出售和那个安全的 measure 是物理量和实数测量单位是那个金融交易的 limit 价格和施事体 bids 另一个实数那个测量单位對於那个安全和那个测量单位是 UnitOfCurrency 的 instance 和那个另外实数是 greaterThanOrEqualTo 那个实数，然后那个协议有义务执行符号串所描述的类别的任务
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13841-13854	如果实数测量单位是有点純物质的 boiling 点和实体是有点純物质的 instance 和那个实体的 measure 是另一个实数那个测量单位在时距 holdsDuring 和那个测量单位是 UnitOfTemperature 的 instance 和那个另外实数是 greaterThanOrEqualTo 那个实数，然后加油站是那个实体的 attribute 在那个时距 holdsDuring 或有存在过程这样那个时距时段和那个过程出现的 time 重叠和那个过程是沸腾的 instance 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1316-1323	如果热带气候区是地理区域地区的 climate 类别和月是月的 instance 和那个地理区域对于实数仪表的千分之一在那个月周期的 average 降雨量和那个实数是 greaterThanOrEqualTo 60.0，然后湿热带气候区是那个地理区域地区的 climate 类别
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 219-225	如果实体是人类的 instance 和那个实体的 age 是实数年持续时间在时间位置 holdsDuring 和那个实数是 greaterThanOrEqualTo 18，然后那个实体是人类成人的 instance 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2165-2176	如果实数测量单位是地理区域的 other 土地使用地区和那个实数是 greaterThanOrEqualTo 0.0 和另一个实数那个测量单位是那个地理区域的 total 區域和那个测量单位是 UnitOfArea 的 instance 和第三实数 equal 那个实数和那个另外实数，然后那个第三实数那个测量单位是那个地理区域的 other 土地使用地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2178-2196	如果实数测量单位是地理区域的 other 土地使用地区和那个实数是 greaterThanOrEqualTo 0.0 和另一个实数那个测量单位是那个地理区域的 total 區域和那个测量单位是 UnitOfArea 的 instance，然后有存在另一个地理区域这样那个另外地理区域是土地面积的 instance 和那个另外地理区域不是耕地的 instance 和那个另外地理区域不是永久性耕地的 instance 和那个另外地理区域是那个地理区域的 geographic 次要地区和那个另外地理区域的 measure 是那个实数和那个另外实数那个测量单位
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2125-2136	如果实数测量单位是地理区域的 permanent 农作地区和那个实数是 greaterThanOrEqualTo 0.0 和另一个实数那个测量单位是那个地理区域的 total 區域和那个测量单位是 UnitOfArea 的 instance 和第三实数 equal 那个实数和那个另外实数，然后那个第三实数那个测量单位是那个地理区域的 permanent 农作地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2138-2152	如果实数测量单位是地理区域的 permanent 农作地区和那个实数是 greaterThanOrEqualTo 0.0 和另一个实数那个测量单位是那个地理区域的 total 區域和那个测量单位是 UnitOfArea 的 instance，然后有存在另一个地理区域这样那个另外地理区域是永久性耕地的 instance 和那个另外地理区域是那个地理区域的 geographic 次要地区和那个另外地理区域的 measure 是那个实数和那个另外实数那个测量单位
No TPTP formula. May not be expressible in strict first order.	Government.kif 1176-1189	如果强制选举法是国家的 regional 法律的 subProposition 和人类是那个国家的 citizen 和实数年持续时间是那个国家的 suffrage 最小年纪和那个人类的 age 是另一个实数年持续时间和那个另外实数是 greaterThanOrEqualTo 那个实数和选举是那个国家的 election 的 instance，然后有存在过程这样那个过程是那个选举的 voting 的 instance 和那个人类是那个过程的 agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1120-1130	如果普选法是国家的 regional 法律的 subProposition 和人类是那个国家的 citizen 和实数年持续时间是那个国家的 suffrage 最小年纪和那个人类的 age 是另一个实数年持续时间和那个另外实数是 greaterThanOrEqualTo 那个实数和选举是那个国家的 election 的 instance，然后那个人类能够担当主事的角色做那个选举的 voting

consequent

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.	Medicine.kif 359-365	如果 Healthy 是哺乳动物的 attribute 和 restingBreathingRate 那个哺乳动物 and 整数，然后那个整数是 greaterThanOrEqualTo 12 和 16 是 greaterThanOrEqualTo 那个整数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18743-18753	如果大学三年级是地位的 attribute 和人类在机构任职那个地位，然后有存在实数这样那个人类是那个机构的 student 在那个实数年持续时间 holdsDuring 和那个实数是 greaterThanOrEqualTo 2 和那个实数是 lessThan 3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18759-18769	如果大学高年级是地位的 attribute 和人类在机构任职那个地位，然后有存在实数这样那个人类是那个机构的 student 在那个实数年持续时间 holdsDuring 和那个实数是 greaterThanOrEqualTo 3 和那个实数是 lessThan 4
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18775-18785	如果大学二年级学生是地位的 attribute 和人类在机构任职那个地位，然后有存在实数这样那个人类是那个机构的 student 在那个实数年持续时间 holdsDuring 和那个实数是 greaterThanOrEqualTo 1 和那个实数是 lessThan 2
No TPTP formula. May not be expressible in strict first order.	Government.kif 1132-1152	如果人类是国家的 citizen 和普选法是那个国家的 regional 法律的 subProposition，然后那个国家的 regional 法律允许那个人类执行对所有实体，另一个实体， and 和第三实体如果那个人类是那个国家的 citizen 和那个实体年持续时间是那个国家的 suffrage 最小年纪和那个人类的 age 是那个另外实体年持续时间和那个另外实体是 greaterThanOrEqualTo 那个实体和那个第三实体是那个国家的 election 的 instance，然后有存在第四实体这样那个第四实体是那个第三实体的 voting 的 instance 和那个人类是那个第四实体的 agent 的任务
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1419-1425	如果温带气候区是地理区域地区的 climate 类别和时距是月的 instance 和 1 对于 %3 在 %2 周期的 average 温度，然后实数是 greaterThanOrEqualTo -3.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6022-6028	如果图节点和另一个图节点间的最低成本路径 equal 图路径和那个图路径的值 equal 实数和那个图路径2 是那个图节点和那个另外图节点的路径集 Set 的 instance 和那个图路径2 的值 equal 另一个实数，然后那个另外实数是 greaterThanOrEqualTo 那个实数
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1445-1457	如果客体是飞机场的 instance 和长跑道机场是那个客体的 attribute，然后有存在另一个客体和实数这样那个另外客体是跑道的 instance 和那个另外客体是那个客体的 part 和那个另外客体的 length 是那个实数仪表和那个实数是 greaterThanOrEqualTo 2438 或那个实数是 lessThanOrEqualTo 3047
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1426-1438	如果客体是飞机场的 instance 和中长跑道机场是那个客体的 attribute，然后有存在另一个客体和实数这样那个另外客体是跑道的 instance 和那个另外客体是那个客体的 part 和那个另外客体的 length 是那个实数仪表和那个实数是 greaterThanOrEqualTo 1524 或那个实数是 lessThanOrEqualTo 2437
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1407-1419	如果客体是飞机场的 instance 和短跑道机场是那个客体的 attribute，然后有存在另一个客体和实数这样那个另外客体是跑道的 instance 和那个另外客体是那个客体的 part 和那个另外客体的 length 是那个实数仪表和那个实数是 greaterThanOrEqualTo 914 或那个实数是 lessThanOrEqualTo 1523
No TPTP formula. May not be expressible in strict first order.	Weather.kif 917-925	如果地区是地理区域的 instance 和过程是部分多云的天气的 instance 和那个过程是 located 在那个地区和非负实数那个地区，然后那个非负实数是 greaterThanOrEqualTo 0.3 和那个非负实数是 lessThanOrEqualTo 0.7
No TPTP formula. May not be expressible in strict first order.	Weather.kif 906-915	如果地区是地理区域的 instance 和过程是部分多云的天气的 instance 和那个过程是 located 在那个地区，然后有存在非负实数这样那个非负实数那个地区和那个非负实数是 greaterThanOrEqualTo 0.3 和那个非负实数是 lessThanOrEqualTo 0.7
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8045-8052	如果地缘政治区域是地缘政治区域的 instance 和整数 equal 那个地缘政治区域的 citizenry instance 的数量和另一个整数 equal 那个地缘政治区域的 resident instance 的数量，然后那个另外整数是 greaterThanOrEqualTo 那个整数
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 686-699	如果金融账户是金融账户的 instance 和那个金融账户是对于实数测量单位的 minimum 金额开户和那个测量单位是 UnitOfCurrency 的 instance，然后有存在金融交易，时点， and 和另一个实数这样那个金融交易在那个金融账户的 currency 结束和那个另外实数那个测量单位是那个金融交易的 transaction 总额和那个另外实数是 greaterThanOrEqualTo 那个实数和那个时点是那个金融账户的 agreement 生效日期和那个金融交易的 date 是那个时点
No TPTP formula. May not be expressible in strict first order.	Food.kif 571-578	如果 Food 是咖啡豆的 instance 和 DarkRoast 是那个 Food 的 attribute 和 roastedToTemperature 那个 Food and 实数，然后那个实数是 greaterThanOrEqualTo 225 和那个实数是 lessThanOrEqualTo 245
No TPTP formula. May not be expressible in strict first order.	Food.kif 495-502	如果 Food 是咖啡豆的 instance 和 LightRoast 是那个 Food 的 attribute 和 roastedToTemperature 那个 Food and 实数，然后那个实数是 greaterThanOrEqualTo 196 和那个实数是 lessThanOrEqualTo 205
No TPTP formula. May not be expressible in strict first order.	Food.kif 533-540	如果 Food 是咖啡豆的 instance 和 MediumRoast 是那个 Food 的 attribute 和 roastedToTemperature 那个 Food and 实数，然后那个实数是 greaterThanOrEqualTo 210 和那个实数是 lessThanOrEqualTo 219
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13831-13839	如果过程是沸腾的 instance 和实数测量单位是有点純物质的 boiling 点和实体是有点純物质的 instance 和那个实体是那个过程的 patient 和那个实体的 measure 是另一个实数那个测量单位在那个过程出现的 time holdsDuring 和那个测量单位是 UnitOfTemperature 的 instance，然后那个另外实数是 greaterThanOrEqualTo 那个实数
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4645-4658	如果客体是 CoffeeArabica 的 instance 和那个客体的 measure 是实数公克和那个客体C 是 Caffeine 的 instance 和那个客体C 是那个客体的 part 和那个客体C 的 measure 是另一个实数公克和第三实数 equal 那个另外实数和那个实数，然后那个第三实数是 greaterThanOrEqualTo 0.008 和那个第三实数是 lessThanOrEqualTo 0.014
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4669-4682	如果客体是 CoffeeRobusta 的 instance 和那个客体的 measure 是实数公克和那个客体C 是 Caffeine 的 instance 和那个客体C 是那个客体的 part 和那个客体C 的 measure 是另一个实数公克和第三实数 equal 那个另外实数和那个实数，然后那个第三实数是 greaterThanOrEqualTo 0.017 和那个第三实数是 lessThanOrEqualTo 0.04
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7142-7162	如果客体是水晶的 instance 和单晶结构是那个客体的 attribute 和自身连接物体是物质的 instance 和固体是那个自身连接物体的 attribute 和多晶结构是那个自身连接物体的 attribute 和另一个自身连接物体是物质的 instance 和那个另外自身连接物体是那个自身连接物体的 surface 和那个客体不是那个另外自身连接物体的 part，然后有存在那个客体LNT，整数， and 和另一个客体这样那个客体LNT 是群体的 instance 和那个整数是那个客体LNT 的 member 计数和那个整数是 greaterThanOrEqualTo 4 和如果那个另外客体是那个客体LNT 的 member，然后那个另外客体是那个自身连接物体的 part 和那个客体接上那个另外客体
No TPTP formula. May not be expressible in strict first order.	Food.kif 1367-1385	如果客体是 FlatWhite 的 instance 和物质是那个客体的 part 和另一个物质是那个客体的 part 和那个物质是 Espresso 的 instance 和那个另外物质是 MilkFoam 的 instance 和 mixtureRatio 那个物质, 那个另外物质, 实数, 另一个实数 and 升和自身连接物体是那个另外物质的 part 和那个自身连接物体是那个物质的 part 和那个自身连接物体是那个另外物质的 top 和那个自身连接物体是气泡的 instance 和那个自身连接物体的 measure 是第三实数毫米，然后 approximateValue 那个实数 and 0.03 和 approximateValue 那个另外实数 and 0.15 和那个第三实数是 greaterThanOrEqualTo 1.0 和那个第三实数是 lessThanOrEqualTo 20.0
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2811-2830	如果客体是内燃机的 instance 和另一个客体是 CombustionChamber 的 instance 和那个另外客体是那个客体的 part 和实体是汽油的 instance 和另一个实体是 UnitOfVolume 的 instance 和那个另外客体 contains 那个实体和那个实体的 measure 是第三实体那个另外实体和 EngineFlooded 是那个客体的 attribute 在时间位置 holdsDuring，然后那个另外客体的目的是不存在那个实体2 和第五实体这样那个实体2 是汽油的 instance 和那个另外客体 contains 那个实体2 和那个实体2 的 measure 是那个第五实体那个另外实体和那个第五实体是 greaterThanOrEqualTo 那个第三实体
No TPTP formula. May not be expressible in strict first order.	Government.kif 1003-1012	如果选举是施事体的 election 的 instance 和过程是那个选举的 voting 的 instance 和另一个施事体是那个过程的 agent 和实数年持续时间是那个施事体的 suffrage 最小年纪和那个另外施事体的 age 是另一个实数年持续时间，然后那个另外实数是 greaterThanOrEqualTo 那个实数

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	Government.kif 1092-1103	对所有 ?POLITY， ?AGENT,，， ?ELECTION,，， ?VOTINGAGE， and 和 ?AGE 如果 ?AGENT 是 ?POLITY 的 citizen 和 ?VOTINGAGE 年持续时间是 ?POLITY 的 suffrage 最小年纪和 ?AGENT 的 age 是 ?AGE 年持续时间和 ?AGE 是 greaterThanOrEqualTo ?VOTINGAGE 和 ?ELECTION 是 ?POLITY 的 election 的 instance，然后 ?AGENT 能够担当主事的角色做 ?ELECTION 的 voting contains 普选法的资料
No TPTP formula. May not be expressible in strict first order.	Government.kif 1160-1174	对所有 ?POLITY， ?VOTER,，， ?ELECTION,，， ?VOTINGAGE， and 和 ?AGE 如果 ?VOTER 是 ?POLITY 的 citizen 和 ?VOTINGAGE 年持续时间是 ?POLITY 的 suffrage 最小年纪和 ?VOTER 的 age 是 ?AGE 年持续时间和 ?AGE 是 greaterThanOrEqualTo ?VOTINGAGE 和 ?ELECTION 是 ?POLITY 的 election 的 instance，然后有存在 ?VOTING 这样 ?VOTING 是 ?ELECTION 的 voting 的 instance 和 ?VOTER 是 ?VOTING 的 agent contains 强制选举法的资料
No TPTP formula. May not be expressible in strict first order.	Military.kif 872-881	地缘政治区域的 available 军事服务男性 equal 符号串所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order.	Military.kif 895-906	地缘政治区域的 fit 对于军服务男性 equal 符号串所描述的类别 instance 的数量

appearance as argument number 0

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

Media.kif 1965-1965

TwelveApostles instance 的数量是 greaterThanOrEqualTo 11

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: