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

Formal Language: 



KB Term:  Term intersection
English Word: 

  instance

Sigma KEE - instance
instance

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1359-1361
No TPTP formula. May not be expressible in strict first order. Merge.kif 84-87
No TPTP formula. May not be expressible in strict first order. Merge.kif 81-81 实例 的 1 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 82-82 实例 的 2 数量 是 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 80-80 实例二元谓语instance

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 305-305
No TPTP formula. May not be expressible in strict first order. english_format.kif 310-310
No TPTP formula. May not be expressible in strict first order. Merge.kif 1241-1241 组员实例 是 内部相关
No TPTP formula. May not be expressible in strict first order. Merge.kif 5321-5321 元素实例subrelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 89-89 直接实例实例subrelation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30234-30234
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 306-306
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30233-30233
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30232-30232

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1017-1021 有认知的主事 持有 account 金融账户那个 有认知的主事法人财团instance 若且唯若 那个 金融账户企业帐户instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 995-999 有认知的主事 持有 account 金融账户那个 有认知的主事人类instance 若且唯若 那个 金融账户个人账户instance
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1462-1467 飞机altitude 自身连接物体那个 自身连接物体行星地球surface那个 飞机飞机instance 若且唯若 高度测量absolute 那个 飞机 的高度
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. FinancialOntology.kif 1006-1010 实体个人账户instance 符号串 所描述的类别 instance 的数量 是 greaterThan 1 若且唯若 那个 实体联名账户instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29682-29692 实体身体部位instanceBare那个 实体attribute 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体服装instancecovers 那个 另外 实体 and 那个 实体那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Merge.kif 12243-12250 过程结合instance 客体那个 过程resource 实体那个 过程result 若且唯若 那个 客体 不 是 那个 实体part那个 过程 出现 的 time 的开始 holdsDuring那个 客体那个 实体part那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order. Geography.kif 7240-7246 自身连接物体液体滴instance 和 1 的 approximate diameter 是 %2 和 500.0 是 lessThan 实数 若且唯若 那个 自身连接物体小滴液体instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 7156-7167 客体悬浮颗粒instance 自身连接物体那个 客体part 和 1 的 approximate diameter 是 %2 和 10.0 是 greaterThan 实数那个 实数greaterThan 2.5 若且唯若 有存在 那个 客体10 这样 那个 客体10 是 粗悬浮颗粒instance那个 客体10 是 那个 客体part
No TPTP formula. May not be expressible in strict first order. Geography.kif 7185-7195 客体悬浮颗粒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. ComputerInput.kif 1786-1790 实体WindowScrollinginstance那个 实体UserSignifiedGraphicalActioninstance 若且唯若 那个 实体WindowScrollingByUserinstance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1829-1839 过程退出instance 金融账户金融账户instance那个 金融账户currency那个 过程 的源头 和 不存在 另一个 过程 这样 那个 另外 过程罚款instance那个 另外 过程那个 金融账户currency 结束 和 那个 过程 causes 那个 另外 过程 若且唯若 那个 金融账户liqudity高流动性
No TPTP formula. May not be expressible in strict first order. Weather.kif 2679-2689 实体地区instance那个 实体标准状况attribute 时间位置 holdsDuring 若且唯若 298.15 凯文度那个 实体air 温度 和 29.530 英寸汞那个 实体barometric 压力 在 那个 时间位置 holdsDuring
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 24257-24262 PostalPlacelocated PostcodeArea那个 PostalPlacePostalPlaceinstance那个 PostcodeAreaPostcodeAreainstance 若且唯若 那个 PostalPlace 是在 post code 那个 PostcodeArea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24230-24235 PostalPlacelocated 城市那个 PostalPlacePostalPlaceinstance那个 城市城市instance 若且唯若 那个 PostalPlace 是在 那个 城市
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24143-24148 PostalPlacelocated Neighborhood那个 PostalPlacePostalPlaceinstance那个 NeighborhoodNeighborhoodinstance 若且唯若 那个 PostalPlace 是在 那个 Neighborhood

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. FinancialOntology.kif 1017-1021 有认知的主事 持有 account 金融账户那个 有认知的主事法人财团instance 若且唯若 那个 金融账户企业帐户instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 995-999 有认知的主事 持有 account 金融账户那个 有认知的主事人类instance 若且唯若 那个 金融账户个人账户instance
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 1006-1010 实体个人账户instance 符号串 所描述的类别 instance 的数量 是 greaterThan 1 若且唯若 那个 实体联名账户instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29682-29692 实体身体部位instanceBare那个 实体attribute 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体服装instancecovers 那个 另外 实体 and 那个 实体那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Geography.kif 7240-7246 自身连接物体液体滴instance 和 1 的 approximate diameter 是 %2 和 500.0 是 lessThan 实数 若且唯若 那个 自身连接物体小滴液体instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 7156-7167 客体悬浮颗粒instance 自身连接物体那个 客体part 和 1 的 approximate diameter 是 %2 和 10.0 是 greaterThan 实数那个 实数greaterThan 2.5 若且唯若 有存在 那个 客体10 这样 那个 客体10 是 粗悬浮颗粒instance那个 客体10 是 那个 客体part
No TPTP formula. May not be expressible in strict first order. Geography.kif 7185-7195 客体悬浮颗粒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. ComputerInput.kif 1786-1790 实体WindowScrollinginstance那个 实体UserSignifiedGraphicalActioninstance 若且唯若 那个 实体WindowScrollingByUserinstance
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. Economy.kif 1528-1533 1 对于 %3 在周期 %2 的 annual 地区消费 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instance 货币测量 地缘政治区域annual 地区消费 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Economy.kif 1499-1504 地缘政治区域 annual 对于 有点 时距 在周期 货币测量 的地区收入 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instance那个 货币测量那个 地缘政治区域annual 地区收入 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Merge.kif 9880-9885 可填写 客体attribute 若且唯若 有存在 另一个 客体 这样 那个 另外 客体instance那个 客体那个 另外 客体part
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. Geography.kif 4610-4618 公海 客体attribute 若且唯若 那个 客体盐水区instance那个 客体 不 是 内陆水域instance 物理那个 客体distance 实数 海里那个 实数greaterThan 5.0
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3895-3900 银行 - 财政组织 有点 金融账户bank 帐号 若且唯若 有存在 另一个 金融账户 这样 那个 另外 金融账户 有点 金融账户instance那个 另外 金融账户 是被 那个 银行 - 财政组织 held
No TPTP formula. May not be expressible in strict first order. Economy.kif 1576-1581 地缘政治区域 在周期 货币测量 对于 有点 时距capital 地区支出 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instance那个 货币测量那个 地缘政治区域capital 地区支出 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Economy.kif 3671-3676 有点 时距 货币测量currency 交换 每美元 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instance那个 货币测量美国美元currency 交换汇率 在 那个 时间位置 holdsDuring

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. Government.kif 1238-1245 对所有 ?AGENT, ?VOTER,, , ?ELECTION, and 和 ?VOTING contains 独家男性选举权 的资料
No TPTP formula. May not be expressible in strict first order. Government.kif 920-928 对所有 ?COUNTRY, ?ELECTION,, , ?VOTING, and 和 ?VOTER contains 选民公民身份要求 的资料
No TPTP formula. May not be expressible in strict first order. Government.kif 1089-1100 对所有 ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE contains 普选法 的资料
No TPTP formula. May not be expressible in strict first order. Government.kif 1157-1171 对所有 ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE contains 强制选举法 的资料
No TPTP formula. May not be expressible in strict first order. WMD.kif 917-925 ?SYMPTOM 是 ?AGENT 的 biochemical 病毒征兆 和 ?AGENT biochemical 病毒解毒制剂 ?SUBSTANCE 对于 ?PROCESS 和 ?SAMPLE 是 ?SUBSTANCE 的 instance 和 ?THERAPY 是 ?PROCESS 的 instance 和 ?ORGANISM 经历了 ?THERAPY 和 ?SAMPLE 是 ?THERAPY 的 patient 减少 ?SYMPTOM 是 ?ORGANISM 的 attribute 发生的机率
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 的数量
No TPTP formula. May not be expressible in strict first order. People.kif 49-54 地缘政治区域population 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. ComputingBrands.kif 2421-2425 有存在 时间位置 这样 那个 时间位置 是 1976 yearinstance斯蒂夫·沃兹尼亚克史蒂芬·贾伯斯coworker那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2409-2413 有存在 时间位置 这样 那个 时间位置 是 2002 yearinstance提姆·库克史蒂芬·贾伯斯coworker那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Merge.kif 816-817 有存在 实体 这样 那个 实体实体instance
No TPTP formula. May not be expressible in strict first order. Media.kif 1956-1964 有存在 时距 这样 那个 时距时距instance那个 时距 finishes了才到 JesusOfNazareth 出现 的 time那个 时距 starts了才到 TwelveApostles 出现 的 time 和 对所有 实体
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3275-3281 IBookstore 的 目的 是 有存在 ?D 这样 ?D 是 下載instanceiBookstore 是导致 ?D 的 instrument 和 ?T 是 文本instanceobjectTransferred ?D and ?T
No TPTP formula. May not be expressible in strict first order. Media.kif 2487-2490 Serbia欧洲国家instance 时间位置 是 5 dayinstance那个 时间位置 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order. Media.kif 2482-2485 Serbia独立国家instance 时间位置 是 5 dayinstance那个 时间位置 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order. Media.kif 2492-2495 Serbia 的名 是 "Republic of Serbia" 和 时间位置 是 5 dayinstance那个 时间位置 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order. Media.kif 2514-2517 时间位置 是 3 dayinstanceMontenegro欧洲国家instance那个 时间位置 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order. Media.kif 2509-2512 时间位置 是 3 dayinstanceMontenegro独立国家instance那个 时间位置 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order. Media.kif 2519-2522 时间位置 是 3 dayinstanceMontenegro 的名 是 "Montenegro" 在 那个 时间位置 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order. Media.kif 2532-2536 时间位置 是 3 dayinstance塞尔维亚和黑山 不 是 独立国家instance那个 时间位置 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order. Government.kif 2783-2786 时间位置 是 1 dayinstance安第斯国际社会 是 "Andean Community of Nations" 的 conventional 全名 在 紧接 那个 时间位置 after holdsDuring
No TPTP formula. May not be expressible in strict first order. WMD.kif 767-773 ?SYMPTOM 是 ?AGENT 的 biochemical 病毒征兆 和 ?PROCESSTYPE 是 ?AGENT 的 biochemical 病毒传递 和 ?PROCESS 是 ?PROCESSTYPE 的 instance 和 ?ORGANISM 经历了 ?PROCESS 增加 ?SYMPTOM 是 ?ORGANISM 的 attribute 发生的机率
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2008-2012 ~{ GUIElementstate GUE_NonVisibleState } 或 ~{ 那个 GUIElementstate GUE_ActiveState } 或 ~{ 那个 GUIElementInterfaceWindowinstance }

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 663-663 细胞 有点 细胞部分cell 部分 是 有点 细胞部分instance
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 652-652 病毒 有点 病毒部分viral 部分 是 有点 病毒部分instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2528-2528 AAA评级财务评级instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3430-3430 ABPFn一元函数instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4623-4623 ABTestExperimentAttributeinstance
No TPTP formula. May not be expressible in strict first order. Languages.kif 5379-5379 一种 pucikwar 语言中央伟大的andamanese语言instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2866-2866 东盟区域论坛国际组织instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3475-3475 ASPFn一元函数instance
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2090-2090 ATandTCorp法人财团instance
No TPTP formula. May not be expressible in strict first order. Media.kif 2546-2546 AalandIslands群岛instance
No TPTP formula. May not be expressible in strict first order. Media.kif 2547-2547 AalandIslands依赖或特殊主权领域instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 3771-3771 Aariya语言非语言口语instance
No TPTP formula. May not be expressible in strict first order. People.kif 1235-1235 方丈宗教立场instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 2923-2923 Abinomn语言口语人类语言instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 3777-3777 Abishira语言非语言口语instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14550-14550 AbkhazLanguage北方白种人语言instance
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2409-2409 中止二元函数instance
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2475-2475 中止发射二元函数instance
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2429-2429 任务中止二元函数instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16819-16819 以上AntiSymmetricPositionalAttributeinstance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16818-16818 以上位置属性instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4673-4673 绝对值函数总值关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4672-4672 绝对值函数一元函数instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 13713-13713 Abun语言北鸟头语instance
No TPTP formula. May not be expressible in strict first order. Music.kif 517-517 AcapellaMusicGenreinstance

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