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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1239-1239 组员实例 是 内部相关
No TPTP formula. May not be expressible in strict first order. Merge.kif 5319-5319 元素实例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 4678-4689 实数 的绝对值 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 29580-29590 实体身体部位instanceBare那个 实体attribute 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体服装instancecovers 那个 另外 实体 and 那个 实体那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Merge.kif 12234-12241 过程结合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 372-405 那个 年EAR yearinstance 地缘政治区域那个 年male 出生估计寿命 equal 实数 若且唯若 有存在 串列 这样 那个 串列串列instance那个 串列 的长度 是 另一个 整数instance 和 对所有 那个 串列ITEM 那个 实数那个 串列average
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24164-24169 PostalPlacelocated PostcodeArea那个 PostalPlacePostalPlaceinstance那个 PostcodeAreaPostcodeAreainstance 若且唯若 那个 PostalPlace 是在 post code 那个 PostcodeArea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24137-24142 PostalPlacelocated 城市那个 PostalPlacePostalPlaceinstance那个 城市城市instance 若且唯若 那个 PostalPlace 是在 那个 城市
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24050-24055 PostalPlacelocated Neighborhood那个 PostalPlacePostalPlaceinstance那个 NeighborhoodNeighborhoodinstance 若且唯若 那个 PostalPlace 是在 那个 Neighborhood
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24121-24126 PostalPlacelocated 州或省那个 PostalPlacePostalPlaceinstance那个 州或省州或省instance 若且唯若 那个 PostalPlace 是在 那个 州或省
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24087-24094 PostalPlacelocated 地缘政治区域那个 PostalPlacePostalPlaceinstance那个 地缘政治区域国家instance那个 地缘政治区域依赖或特殊主权领域instance 若且唯若 那个 PostalPlace 是在 那个 地缘政治区域
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3872-3878 有存在 时距 这样 贷款贷款instance那个 时距那个 贷款agreement 週期 和 那个 贷款 是 对于 %3 的赚取 interest 若且唯若 利益那个 贷款loan 利息
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3058-3069 有存在 金融工具那个 金融工具Price, and 和 另一个 实数 这样 协议看涨期权instance那个 金融工具那个 协议underlier那个 金融工具 是 对于 施事体price 那个 金融工具Price 测量单位那个 测量单位UnitOfCurrencyinstance那个 另外 实数 那个 测量单位那个 协议strike 价钱 和 那个 金融工具Price 是 lessThan 那个 另外 实数 若且唯若 那个 施事体那个 协议out 资兂短缺
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3009-3020 有存在 金融工具那个 金融工具Price, and 和 另一个 实数 这样 协议看涨期权instance那个 金融工具那个 协议underlier那个 金融工具 是 对于 施事体price 那个 金融工具Price 测量单位那个 测量单位UnitOfCurrencyinstance那个 另外 实数 那个 测量单位那个 协议strike 价钱 和 那个 另外 实数lessThan 那个 金融工具Price 若且唯若 那个 施事体那个 协议in 金钱
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3041-3049 有存在 金融工具那个 金融工具Price, and 和 另一个 货币测量 这样 协议选项instance那个 金融工具那个 协议underlier那个 金融工具 是 对于 施事体price 那个 金融工具Price 和 那个 另外 货币测量那个 协议strike 价钱 和 那个 金融工具Price equal 那个 另外 货币测量 若且唯若 那个 施事体那个 协议 at 的钱
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3022-3033 有存在 金融工具那个 金融工具Price, and 和 另一个 实数 这样 协议放选项instance那个 金融工具那个 协议underlier那个 金融工具 是 对于 施事体price 那个 金融工具Price 测量单位那个 测量单位UnitOfCurrencyinstance那个 另外 实数 那个 测量单位那个 协议strike 价钱 和 那个 金融工具Price 是 lessThan 那个 另外 实数 若且唯若 那个 施事体那个 协议in 金钱

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 4678-4689 实数 的绝对值 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 29580-29590 实体身体部位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 372-405 那个 年EAR yearinstance 地缘政治区域那个 年male 出生估计寿命 equal 实数 若且唯若 有存在 串列 这样 那个 串列串列instance那个 串列 的长度 是 另一个 整数instance 和 对所有 那个 串列ITEM 那个 实数那个 串列average
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 9875-9880 可填写 客体attribute 若且唯若 有存在 另一个 客体 这样 那个 另外 客体instance那个 客体那个 另外 客体part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 716-727 和弦音乐 客体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
No TPTP formula. May not be expressible in strict first order. Economy.kif 3678-3683 UnitOfCurrency 对于 有点 时距 在周期 货币测量currency 交换汇率 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instance那个 货币测量那个 UnitOfCurrencycurrency 交换汇率 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7400-7406 有认知的主事另一个 有认知的主事customer 若且唯若 有存在 过程 这样 那个 过程金融交易instance那个 有认知的主事那个 过程agent那个 过程那个 另外 有认知的主事 结束
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3639-3646 有认知的主事 对于 %3 的 customer 代表 若且唯若 有存在 过程 这样 那个 过程金融交易instance 机构 employs 那个 有认知的主事那个 有认知的主事那个 过程agent那个 过程另一个 有认知的主事 结束
No TPTP formula. May not be expressible in strict first order. Economy.kif 2829-2834 地缘政治区域 是 对于 有点 时距 在期间 货币测量economic 间赠补助 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instance那个 货币测量那个 地缘政治区域economic 捐赠补助 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Economy.kif 2869-2874 地缘政治区域 是 对于 有点 时距 在期间 货币测量 总共收到的 economic 补助 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instance那个 货币测量那个 地缘政治区域 总共收到的 economic 补助 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Economy.kif 2067-2072 地缘政治区域 是 对于 实数 有点 时距 在周期 有点 发电 从来源的 electricity 分支 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instance那个 地缘政治区域 is 对于 那个 实数 从来源 有点 发电electricity 分支 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. People.kif 108-121 地缘政治区域 整数 year 每一千的 births equal 实数 若且唯若 那个 地缘政治区域population 和 1000 equal 另一个 实数另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数那个 另外 实数 equal 那个 实数

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 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. People.kif 469-479 地缘政治区域 整数 year 每个女人生的 children 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 814-815 有存在 实体 这样 那个 实体实体instance
No TPTP formula. May not be expressible in strict first order. Media.kif 1968-1976 有存在 时距 这样 那个 时距时距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 2537-2538 塞尔维亚和黑山 不 是 独立国家instance 在 3 day 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order. Media.kif 2492-2495 Serbia欧洲国家instance 时间位置 是 5 dayinstance那个 时间位置 之后 holdsDuring
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 2497-2500 Serbia 的名 是 "Republic of Serbia" 和 时间位置 是 5 dayinstance那个 时间位置 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order. Media.kif 2519-2522 时间位置 是 3 dayinstanceMontenegro欧洲国家instance那个 时间位置 之后 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 2524-2527 时间位置 是 3 dayinstanceMontenegro 的名 是 "Montenegro" 在 那个 时间位置 之后 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 4621-4621 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 3473-3473 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 2548-2548 AalandIslands群岛instance
No TPTP formula. May not be expressible in strict first order. Media.kif 2549-2549 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 1219-1219 方丈宗教立场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 16804-16804 以上AntiSymmetricPositionalAttributeinstance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16803-16803 以上位置属性instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4671-4671 绝对值函数总值关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4670-4670 绝对值函数一元函数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 516-516 AcapellaMusicGenreinstance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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



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