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

Formal Language: 



KB Term:  Term intersection
English Word: 

  equal

Sigma KEE - equal
equal

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1391-1392

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 297-297
No TPTP formula. May not be expressible in strict first order. english_format.kif 302-302
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 298-298
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22310-22310
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22309-22309

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4680-4691 实数 的绝对值 equal 非负实数那个 实数实数instance那个 非负实数实数instance 若且唯若 那个 实数非负实数instance那个 实数 equal 那个 非负实数那个 实数负实数instance那个 非负实数 equal (0.0 和 那个 实数)
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2329-2334 金融账户金融账户instance 有认知的主事 possesses 金融资产那个 金融账户 equal 那个 金融资产 的帐号 若且唯若 那个 有认知的主事 持有 account 那个 金融账户
No TPTP formula. May not be expressible in strict first order. People.kif 383-416 那个 年EAR yearinstance 地缘政治区域那个 年male 出生估计寿命 equal 实数 若且唯若 有存在 串列 这样 那个 串列串列instance那个 串列 的长度 是 另一个 整数instance 和 对所有 那个 串列ITEM 那个 实数那个 串列average
No TPTP formula. May not be expressible in strict first order. People.kif 108-123 整数 yearinstance 地缘政治区域那个 年 每一千的 births equal 实数 若且唯若 那个 地缘政治区域population 和 1000 equal 另一个 实数另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数那个 另外 实数 equal 那个 实数
No TPTP formula. May not be expressible in strict first order. People.kif 144-159 整数 yearinstance 地缘政治区域那个 年 每一千里的 deaths equal 实数 若且唯若 那个 地缘政治区域population 和 1000 equal 另一个 实数另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数那个 另外 实数 equal 那个 实数
No TPTP formula. May not be expressible in strict first order. People.kif 264-290 整数 yearinstance 地缘政治区域那个 年 每一千个生存出生里的 deaths equal 实数 若且唯若 另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数 和 1000 equal 另一个 实数第三 整数 equal 另一个 符号串 所描述的类别 instance 的数量 和 那个 第三 整数那个 另外 实数 equal 那个 实数
No TPTP formula. May not be expressible in strict first order. People.kif 429-462 整数 yearinstance 地缘政治区域那个 年female 出生预期寿命 equal 实数 若且唯若 有存在 串列 这样 那个 串列串列instance那个 串列 的长度 是 另一个 整数instance 和 对所有 那个 串列ITEM 那个 实数那个 串列average
No TPTP formula. May not be expressible in strict first order. People.kif 336-368 整数 yearinstance 地缘政治区域那个 年 的出生预期 life equal 实数 若且唯若 有存在 串列 这样 那个 串列串列instance那个 串列 的长度 是 另一个 整数instance 和 对所有 那个 串列ITEM 那个 实数那个 串列average
No TPTP formula. May not be expressible in strict first order. People.kif 182-213 整数 yearinstance 地缘政治区域那个 年 每一千的 migrants equal 实数 若且唯若 (那个 整数另一个 整数) equal 1 和 实体那个 另外 整数 yearinstance那个 地缘政治区域population equal 另一个 实数那个 年 holdsDuring那个 另外 实数 和 1000 equal 第三 实数第三 整数 equal 符号串 所描述的类别 instance 的数量 和 第四 整数 equal 那个 符号串 所描述的类别 instance 的数量 和 (那个 第三 整数那个 第四 整数) equal 第四 实数那个 第四 实数那个 第三 实数 equal 那个 实数
No TPTP formula. May not be expressible in strict first order. People.kif 78-90 整数 yearinstance 地缘政治区域那个 年population 成长 equal 实数 若且唯若 (那个 整数那个 整数P) equal 1 和 时间位置那个 整数P yearinstance那个 地缘政治区域population equal 另一个 实数那个 年 holdsDuring那个 地缘政治区域population equal 第三 实数那个 时间位置 holdsDuring那个 另外 实数那个 第三 实数 equal 第四 实数 和 (那个 第四 实数 和 1) equal 那个 实数
No TPTP formula. May not be expressible in strict first order. People.kif 232-249 地缘政治区域male 对母性比率 equal 实数 若且唯若 整数 equal 符号串 所描述的类别 instance 的数量 和 另一个 整数 equal 另一个 符号串 所描述的类别 instance 的数量 和 那个 整数那个 另外 整数 equal 那个 实数
No TPTP formula. May not be expressible in strict first order. Weather.kif 1507-1512 实数 equal 标准偏差 串列 若且唯若 那个 实数 equal 方差函数 那个 串列 平方根
No TPTP formula. May not be expressible in strict first order. Weather.kif 1701-1707 函数量 equal 实数 英里每小時 若且唯若 那个 函数量 equal 那个 实数 英里 除以 1 小时
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3041-3049 有存在 金融工具那个 金融工具Price, and 和 另一个 货币测量 这样 协议选项instance那个 金融工具那个 协议underlier那个 金融工具 是 对于 AutonomousAgentprice 那个 金融工具Price 和 那个 另外 货币测量那个 协议strike 价钱 和 那个 金融工具Price equal 那个 另外 货币测量 若且唯若 那个 AutonomousAgent那个 协议 at 的钱
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13598-13608
No TPTP formula. May not be expressible in strict first order. Geography.kif 2083-2093
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 193-212
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2661-2672
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2633-2644
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3985-4002
No TPTP formula. May not be expressible in strict first order. Merge.kif 7998-8006
No TPTP formula. May not be expressible in strict first order. Media.kif 2875-2881
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 682-689
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 673-680
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 782-787

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 4680-4691 实数 的绝对值 equal 非负实数那个 实数实数instance那个 非负实数实数instance 若且唯若 那个 实数非负实数instance那个 实数 equal 那个 非负实数那个 实数负实数instance那个 非负实数 equal (0.0 和 那个 实数)
No TPTP formula. May not be expressible in strict first order. People.kif 383-416 那个 年EAR yearinstance 地缘政治区域那个 年male 出生估计寿命 equal 实数 若且唯若 有存在 串列 这样 那个 串列串列instance那个 串列 的长度 是 另一个 整数instance 和 对所有 那个 串列ITEM 那个 实数那个 串列average
No TPTP formula. May not be expressible in strict first order. People.kif 108-123 整数 yearinstance 地缘政治区域那个 年 每一千的 births equal 实数 若且唯若 那个 地缘政治区域population 和 1000 equal 另一个 实数另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数那个 另外 实数 equal 那个 实数
No TPTP formula. May not be expressible in strict first order. People.kif 144-159 整数 yearinstance 地缘政治区域那个 年 每一千里的 deaths equal 实数 若且唯若 那个 地缘政治区域population 和 1000 equal 另一个 实数另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数那个 另外 实数 equal 那个 实数
No TPTP formula. May not be expressible in strict first order. People.kif 264-290 整数 yearinstance 地缘政治区域那个 年 每一千个生存出生里的 deaths equal 实数 若且唯若 另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数 和 1000 equal 另一个 实数第三 整数 equal 另一个 符号串 所描述的类别 instance 的数量 和 那个 第三 整数那个 另外 实数 equal 那个 实数
No TPTP formula. May not be expressible in strict first order. People.kif 429-462 整数 yearinstance 地缘政治区域那个 年female 出生预期寿命 equal 实数 若且唯若 有存在 串列 这样 那个 串列串列instance那个 串列 的长度 是 另一个 整数instance 和 对所有 那个 串列ITEM 那个 实数那个 串列average
No TPTP formula. May not be expressible in strict first order. People.kif 336-368 整数 yearinstance 地缘政治区域那个 年 的出生预期 life equal 实数 若且唯若 有存在 串列 这样 那个 串列串列instance那个 串列 的长度 是 另一个 整数instance 和 对所有 那个 串列ITEM 那个 实数那个 串列average
No TPTP formula. May not be expressible in strict first order. People.kif 182-213 整数 yearinstance 地缘政治区域那个 年 每一千的 migrants equal 实数 若且唯若 (那个 整数另一个 整数) equal 1 和 实体那个 另外 整数 yearinstance那个 地缘政治区域population equal 另一个 实数那个 年 holdsDuring那个 另外 实数 和 1000 equal 第三 实数第三 整数 equal 符号串 所描述的类别 instance 的数量 和 第四 整数 equal 那个 符号串 所描述的类别 instance 的数量 和 (那个 第三 整数那个 第四 整数) equal 第四 实数那个 第四 实数那个 第三 实数 equal 那个 实数
No TPTP formula. May not be expressible in strict first order. People.kif 78-90 整数 yearinstance 地缘政治区域那个 年population 成长 equal 实数 若且唯若 (那个 整数那个 整数P) equal 1 和 时间位置那个 整数P yearinstance那个 地缘政治区域population equal 另一个 实数那个 年 holdsDuring那个 地缘政治区域population equal 第三 实数那个 时间位置 holdsDuring那个 另外 实数那个 第三 实数 equal 第四 实数 和 (那个 第四 实数 和 1) equal 那个 实数
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 718-729 和弦音乐 客体attribute 若且唯若 有存在 过程另一个 过程 这样 那个 客体制作音乐instance那个 过程制作音乐instance那个 另外 过程制作音乐instance那个 过程%n是那个 客体subProcess那个 另外 过程%n是那个 客体subProcess那个 过程equal 那个 另外 过程那个 过程那个 客体 同时发生 和 那个 另外 过程那个 客体 同时发生
No TPTP formula. May not be expressible in strict first order. People.kif 298-319 实数 串列average 若且唯若 有存在 另一个 串列 这样 那个 另外 串列 的长度 equal 那个 串列 的长度 和 那个 另外 串列 的第 1 几个元素 equal 那个 串列 的第 1 几个元素 和 对所有 正整数 第四 正整数 equal 那个 另外 串列 的长度 和 那个 实数 equal 那个 另外 串列 的第 那个 第四 正整数 几个元素 和 那个 第四 正整数
No TPTP formula. May not be expressible in strict first order. People.kif 1554-1565 百分之 实数 信仰团体 的人相信 那个 信仰团体 若且唯若 有存在 群体另一个 群体 这样 物理located 地理区域那个 物理那个 信仰团体member那个 物理那个 群体member那个 实数1 是 那个 群体member 计数 和 那个 物理2 是 located那个 地理区域那个 物理2 是 那个 另外 群体member那个 实数2 是 那个 另外 群体member 计数 和 那个 实数 和 100 equal 那个 实数1 和 那个 实数2
No TPTP formula. May not be expressible in strict first order. Cars.kif 1928-1933 compressionRatio 发动机 and 实数 若且唯若 minCylinderVolume 那个 发动机 and 另一个 实数 测量单位maxCylinderVolume 那个 发动机 and 那个 测量单位AX 那个 测量单位那个 实数 equal 那个 另外 实数那个 测量单位AX
No TPTP formula. May not be expressible in strict first order. People.kif 232-249 地缘政治区域male 对母性比率 equal 实数 若且唯若 整数 equal 符号串 所描述的类别 instance 的数量 和 另一个 整数 equal 另一个 符号串 所描述的类别 instance 的数量 和 那个 整数那个 另外 整数 equal 那个 实数
No TPTP formula. May not be expressible in strict first order. Weather.kif 1507-1512 实数 equal 标准偏差 串列 若且唯若 那个 实数 equal 方差函数 那个 串列 平方根
No TPTP formula. May not be expressible in strict first order. Weather.kif 1701-1707 函数量 equal 实数 英里每小時 若且唯若 那个 函数量 equal 那个 实数 英里 除以 1 小时
No TPTP formula. May not be expressible in strict first order. People.kif 1573-1584 实数 percent 的人在 地理区域 民族群组 若且唯若 有存在 群体另一个 群体 这样 物理located那个 地理区域那个 物理那个 民族群组member那个 物理那个 群体member那个 实数1 是 那个 群体member 计数 和 那个 物理2 是 located那个 地理区域那个 物理2 是 那个 另外 群体member那个 实数2 是 那个 另外 群体member 计数 和 那个 实数 和 100 equal 那个 实数1 和 那个 实数2
No TPTP formula. May not be expressible in strict first order. Merge.kif 1833-1837 实数greaterThanOrEqualTo 另一个 实数 若且唯若 那个 实数 equal 那个 另外 实数那个 实数greaterThan 那个 另外 实数
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29727-29740 Alone 实体attribute 时距 holdsDuring 若且唯若 不存在 那个 实体2 和 过程 这样 那个 实体equal 那个 实体2 和 那个 实体2 是 AutonomousAgentinstance那个 过程社交instance那个 过程 出现 的 time那个 时距 时段内发生 和 那个 实体 是事件 那个 过程involved那个 实体2 是事件 那个 过程involved
No TPTP formula. May not be expressible in strict first order. Geography.kif 3426-3435 实体大陆instance 若且唯若 非洲 equal 那个 实体北美 equal 那个 实体南美洲 equal 那个 实体南极洲 equal 那个 实体欧洲 equal 那个 实体亚洲 equal 那个 实体大洋洲 equal 那个 实体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6185-6195 实体共轭物质instance 若且唯若 有存在 客体另一个 客体, and 和 过程 这样 那个 客体复合物质instance那个 另外 客体复合物质instance那个 客体equal 那个 另外 客体那个 过程化学合成instance那个 客体那个 过程resource那个 另外 客体那个 过程resource那个 实体那个 过程result
No TPTP formula. May not be expressible in strict first order. Geography.kif 3410-3416 实体半球instance 若且唯若 那个 实体 equal 北半球那个 实体 equal 南半球那个 实体 equal 东半球那个 实体 equal 西半球
No TPTP formula. May not be expressible in strict first order. Merge.kif 9424-9429 客体自身连接物体instance 若且唯若 对所有 另一个 客体第三 客体
No TPTP formula. May not be expressible in strict first order. People.kif 1592-1603 百分之 实数 的人在 地理区域 speak 语言 若且唯若 有存在 群体另一个 群体 这样 有感知的主事located那个 地理区域那个 有感知的主事那个 群体member那个 语言那个 有感知的主事speaks 语言 和 那个 实数1 是 那个 群体member 计数 和 那个 有感知的主事2 是 located那个 地理区域那个 有感知的主事2 是 那个 另外 群体member那个 实数2 是 那个 另外 群体member 计数 和 那个 实数 和 100 equal 那个 实数1 和 那个 实数2
No TPTP formula. May not be expressible in strict first order. Merge.kif 1815-1819 实数lessThanOrEqualTo 另一个 实数 若且唯若 那个 实数 equal 那个 另外 实数那个 实数lessThan 那个 另外 实数

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. People.kif 482-495 整数 yearinstance 地缘政治区域那个 年 每个女人生的 children equal 符号串 所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order. Military.kif 933-946 地缘政治区域 每年的 reaching 军事男性年龄 equal 符号串 所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12853-12856 对所有 实数 那个 实数 OunceMass equal 那个 实数 和 16.0 磅质量
No TPTP formula. May not be expressible in strict first order. Merge.kif 4648-4649 对所有 整数 (那个 整数+2) equal (那个 整数 和 1)
No TPTP formula. May not be expressible in strict first order. Merge.kif 4632-4633 对所有 整数 (那个 整数+1) equal (那个 整数 和 1)
No TPTP formula. May not be expressible in strict first order. Merge.kif 2973-2976 对所有 @ROW 和 另一个 实体 (@ROW 和 那个 另外 实体) 的长度 equal ((@ROW) 的长度+1)
No TPTP formula. May not be expressible in strict first order. Merge.kif 2978-2982 对所有 @ROW 和 另一个 实体 (@ROW 和 那个 另外 实体) 的第 (@ROW 和 那个 另外 实体) 的长度 几个元素 equal 那个 另外 实体
No TPTP formula. May not be expressible in strict first order. Government.kif 2907-2907 大六equal 6人组

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 5173-5173 ArcCosineFn 实数 的馀弦 equal 那个 实数
No TPTP formula. May not be expressible in strict first order. Merge.kif 5183-5183 ArcSineFn 实数 的正弦 equal 那个 实数
No TPTP formula. May not be expressible in strict first order. Merge.kif 5163-5163 ArcTangentFn 实数 的正切 equal 那个 实数
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. Merge.kif 13951-13951 大陆 instance 的数量 equal 7
No TPTP formula. May not be expressible in strict first order. Media.kif 1989-1989 NativityMagi instance 的数量 equal 3
No TPTP formula. May not be expressible in strict first order. Military.kif 895-906 地缘政治区域fit 对于军服务男性 equal 符号串 所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order. Economy.kif 2019-2019 1 千瓦时 equal 3.6 焦耳 的一百万倍
No TPTP formula. May not be expressible in strict first order. Economy.kif 2020-2020 1 千瓦时 equal 3600000.0 焦耳
No TPTP formula. May not be expressible in strict first order. Merge.kif 7024-7026 1 周持续时间 equal 7 一天长度
No TPTP formula. May not be expressible in strict first order. Merge.kif 7051-7053 1 年持续时间 equal 365 一天长度
No TPTP formula. May not be expressible in strict first order. Geography.kif 382-382 1.0 圆周角度 equal 60.0 弧分
No TPTP formula. May not be expressible in strict first order. Geography.kif 401-401 1.0 弧分 equal 60.0 弧秒
No TPTP formula. May not be expressible in strict first order. Geography.kif 3764-3764 1.0 推测 equal 6.0 脚长
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13120-13122 1.0 公吨 equal 2205.0 磅质量
No TPTP formula. May not be expressible in strict first order. Geography.kif 3787-3789 1.0 海里 equal 1852.0 仪表
No TPTP formula. May not be expressible in strict first order. Geography.kif 3783-3785 1.0 海里 equal 6076.1 脚长
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13215-13219 1.0 平方英里 equal 1.0 英里 是 1.0 英里per
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13225-13229 1.0 方码 equal 1.0 院子长度 是 1.0 院子长度per
No TPTP formula. May not be expressible in strict first order. Geography.kif 402-402 实数 弧分 equal 60.0 和 那个 实数 弧秒
No TPTP formula. May not be expressible in strict first order. Geography.kif 383-383 实数 圆周角度 equal 60.0 和 那个 实数 弧分
No TPTP formula. May not be expressible in strict first order. Merge.kif 7063-7065 实数 amu equal 那个 实数 和 1.6605402E-24 公克
No TPTP formula. May not be expressible in strict first order. Merge.kif 7085-7087 实数 equal 那个 实数 和 1.0E-10 仪表
No TPTP formula. May not be expressible in strict first order. Merge.kif 7279-7281 实数 圆周角度 equal 那个 实数圆周率 和 180.0 弧度
No TPTP formula. May not be expressible in strict first order. Merge.kif 7265-7267 实数 英国热量单位 equal 那个 实数 和 1055.05585262 焦耳

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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