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

Formal Language: 



KB Term:  Term intersection
English Word: 

  and

 Sigma KEE - and
and

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7410-7410
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7409-7409
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7408-7408

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1018-1022 有认知的主事 持有 account 金融账户 和 那个 有认知的主事 是 法人财团 的 instance 若且唯若 那个 金融账户 是 企业帐户 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 996-1000 有认知的主事 持有 account 金融账户 和 那个 有认知的主事 是 人类 的 instance 若且唯若 那个 金融账户 是 个人账户 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 642-646 时距 是 金融账户 的 agreement 週期 和 日 finishes了才到 那个 时距 若且唯若 那个 日 是 那个 金融账户 的 maturity 日期
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 4769-4780 实数 的绝对值 equal 非负实数 和 那个 实数 是 实数 的 instance 和 那个 非负实数 是 实数 的 instance 若且唯若 那个 实数 是 非负实数 的 instance 和 那个 实数 equal 那个 非负实数 或 那个 实数 是 负实数 的 instance 和 那个 非负实数 equal (0.0 和 那个 实数)
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2321-2326 金融账户 是 金融账户 的 instance 和 有认知的主事 possesses 金融资产 和 那个 金融账户 equal 那个 金融资产 的帐号 若且唯若 那个 有认知的主事 持有 account 那个 金融账户
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1007-1011 实体 是 个人账户 的 instance 和 符号串 所描述的类别 instance 的数量 是 greaterThan 1 若且唯若 那个 实体 是 联名账户 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30202-30212 实体 是 身体部位 的 instance 和 Bare 是 那个 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体 是 服装 的 instance 和 covers 那个 另外 实体 and 那个 实体 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Merge.kif 12512-12519 过程 是 结合 的 instance 和 客体 是 那个 过程 的 resource 和 实体 是 那个 过程 的 result 若且唯若 那个 客体 不 是 那个 实体 的 part 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 客体 是 那个 实体 的 part 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26362-26373 过程 是 Photocopying 的 instance 和 内容承载物理 是 那个 过程 的 patient 和 那个 内容承载物理 是 VisualContentBearingObject 的 instance 和 那个 内容承载物理 contains 命题 的资料 若且唯若 有存在 另一个 内容承载物理 和 另一个 命题 这样 那个 另外 内容承载物理 是 那个 过程 的 result 和 那个 另外 内容承载物理 是 VisualContentBearingObject 的 instance 和 那个 另外 内容承载物理 contains 那个 另外 命题 的资料 和 那个 命题 equal 那个 另外 命题
No TPTP formula. May not be expressible in strict first order. Geography.kif 7524-7530 自身连接物体 是 液体滴 的 instance 和 1 的 approximate diameter 是 %2 和 500.0 是 lessThan 实数 若且唯若 那个 自身连接物体 是 小滴液体 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 7440-7451 客体 是 悬浮颗粒 的 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 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. ComputerInput.kif 1789-1793 实体 是 WindowScrolling 的 instance 和 那个 实体 是 UserSignifiedGraphicalAction 的 instance 若且唯若 那个 实体 是 WindowScrollingByUser 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1818-1828 过程 是 退出 的 instance 和 金融账户 是 金融账户 的 instance 和 那个 金融账户 的 currency 是 那个 过程 的源头 和 不存在 另一个 过程 这样 那个 另外 过程 是 罚款 的 instance 和 那个 另外 过程 在 那个 金融账户 的 currency 结束 和 那个 过程 causes 那个 另外 过程 若且唯若 那个 金融账户 的 liqudity 是 高流动性
No TPTP formula. May not be expressible in strict first order. Weather.kif 2663-2673 实体 是 地区 的 instance 和 那个 实体 有 标准状况 的 attribute 在 时间位置 holdsDuring 若且唯若 298.15 凯文度 是 那个 实体 的 air 温度 和 29.530 英寸汞 是 那个 实体 的 barometric 压力 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. People.kif 357-390 年 是 那个 年EAR year 的 instance 和 地缘政治区域 和 那个 年 的 male 出生估计寿命 equal 实数 若且唯若 有存在 串列， 另一个 整数,， ， 符号串,， ， 实体,， ， 另一个 实体， and 和 第三 实体 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 那个 另外 整数 的 instance 和 对所有 那个 串列ITEM 和 那个 实数 是 那个 串列 的 average
No TPTP formula. May not be expressible in strict first order. People.kif 82-97 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 每一千的 births equal 实数 若且唯若 那个 地缘政治区域 的 population 和 1000 equal 另一个 实数 和 另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数 和 那个 另外 实数 equal 那个 实数
No TPTP formula. May not be expressible in strict first order. People.kif 118-133 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 每一千里的 deaths equal 实数 若且唯若 那个 地缘政治区域 的 population 和 1000 equal 另一个 实数 和 另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数 和 那个 另外 实数 equal 那个 实数
No TPTP formula. May not be expressible in strict first order. People.kif 238-264 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 每一千个生存出生里的 deaths equal 实数 若且唯若 另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数 和 1000 equal 另一个 实数 和 第三 整数 equal 另一个 符号串 所描述的类别 instance 的数量 和 那个 第三 整数 和 那个 另外 实数 equal 那个 实数
No TPTP formula. May not be expressible in strict first order. People.kif 403-436 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 的 female 出生预期寿命 equal 实数 若且唯若 有存在 串列， 另一个 整数,， ， 符号串,， ， 实体,， ， 另一个 实体， and 和 第三 实体 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 那个 另外 整数 的 instance 和 对所有 那个 串列ITEM 和 那个 实数 是 那个 串列 的 average
No TPTP formula. May not be expressible in strict first order. People.kif 310-342 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 的出生预期 life equal 实数 若且唯若 有存在 串列， 另一个 整数,， ， 符号串,， ， 实体,， ， 另一个 实体， and 和 第三 实体 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 那个 另外 整数 的 instance 和 对所有 那个 串列ITEM 和 那个 实数 是 那个 串列 的 average
No TPTP formula. May not be expressible in strict first order. People.kif 156-187 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 每一千的 migrants equal 实数 若且唯若 (那个 整数 和 另一个 整数) equal 1 和 实体 是 那个 另外 整数 year 的 instance 和 那个 地缘政治区域 的 population equal 另一个 实数 在 那个 年 holdsDuring 和 那个 另外 实数 和 1000 equal 第三 实数 和 第三 整数 equal 符号串 所描述的类别 instance 的数量 和 第四 整数 equal 那个 符号串 所描述的类别 instance 的数量 和 (那个 第三 整数 和 那个 第四 整数) equal 第四 实数 和 那个 第四 实数 和 那个 第三 实数 equal 那个 实数
No TPTP formula. May not be expressible in strict first order. People.kif 52-64 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 的 population 成长 equal 实数 若且唯若 (那个 整数 和 那个 整数P) equal 1 和 时间位置 是 那个 整数P year 的 instance 和 那个 地缘政治区域 的 population equal 另一个 实数 在 那个 年 holdsDuring 和 那个 地缘政治区域 的 population equal 第三 实数 在 那个 时间位置 holdsDuring 和 那个 另外 实数 和 那个 第三 实数 equal 第四 实数 和 (那个 第四 实数 和 1) equal 那个 实数
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24847-24852 PostalPlace 是 located 在 PostcodeArea 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 PostcodeArea 是 PostcodeArea 的 instance 若且唯若 那个 PostalPlace 是在 post code 那个 PostcodeArea

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 4769-4780 实数 的绝对值 equal 非负实数 和 那个 实数 是 实数 的 instance 和 那个 非负实数 是 实数 的 instance 若且唯若 那个 实数 是 非负实数 的 instance 和 那个 实数 equal 那个 非负实数 或 那个 实数 是 负实数 的 instance 和 那个 非负实数 equal (0.0 和 那个 实数)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30202-30212 实体 是 身体部位 的 instance 和 Bare 是 那个 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体 是 服装 的 instance 和 covers 那个 另外 实体 and 那个 实体 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Merge.kif 12512-12519 过程 是 结合 的 instance 和 客体 是 那个 过程 的 resource 和 实体 是 那个 过程 的 result 若且唯若 那个 客体 不 是 那个 实体 的 part 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 客体 是 那个 实体 的 part 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26362-26373 过程 是 Photocopying 的 instance 和 内容承载物理 是 那个 过程 的 patient 和 那个 内容承载物理 是 VisualContentBearingObject 的 instance 和 那个 内容承载物理 contains 命题 的资料 若且唯若 有存在 另一个 内容承载物理 和 另一个 命题 这样 那个 另外 内容承载物理 是 那个 过程 的 result 和 那个 另外 内容承载物理 是 VisualContentBearingObject 的 instance 和 那个 另外 内容承载物理 contains 那个 另外 命题 的资料 和 那个 命题 equal 那个 另外 命题
No TPTP formula. May not be expressible in strict first order. Geography.kif 7440-7451 客体 是 悬浮颗粒 的 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 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. Weather.kif 2663-2673 实体 是 地区 的 instance 和 那个 实体 有 标准状况 的 attribute 在 时间位置 holdsDuring 若且唯若 298.15 凯文度 是 那个 实体 的 air 温度 和 29.530 英寸汞 是 那个 实体 的 barometric 压力 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. People.kif 357-390 年 是 那个 年EAR year 的 instance 和 地缘政治区域 和 那个 年 的 male 出生估计寿命 equal 实数 若且唯若 有存在 串列， 另一个 整数,， ， 符号串,， ， 实体,， ， 另一个 实体， and 和 第三 实体 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 那个 另外 整数 的 instance 和 对所有 那个 串列ITEM 和 那个 实数 是 那个 串列 的 average
No TPTP formula. May not be expressible in strict first order. People.kif 82-97 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 每一千的 births equal 实数 若且唯若 那个 地缘政治区域 的 population 和 1000 equal 另一个 实数 和 另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数 和 那个 另外 实数 equal 那个 实数
No TPTP formula. May not be expressible in strict first order. People.kif 118-133 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 每一千里的 deaths equal 实数 若且唯若 那个 地缘政治区域 的 population 和 1000 equal 另一个 实数 和 另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数 和 那个 另外 实数 equal 那个 实数
No TPTP formula. May not be expressible in strict first order. People.kif 238-264 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 每一千个生存出生里的 deaths equal 实数 若且唯若 另一个 整数 equal 符号串 所描述的类别 instance 的数量 和 那个 另外 整数 和 1000 equal 另一个 实数 和 第三 整数 equal 另一个 符号串 所描述的类别 instance 的数量 和 那个 第三 整数 和 那个 另外 实数 equal 那个 实数
No TPTP formula. May not be expressible in strict first order. People.kif 403-436 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 的 female 出生预期寿命 equal 实数 若且唯若 有存在 串列， 另一个 整数,， ， 符号串,， ， 实体,， ， 另一个 实体， and 和 第三 实体 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 那个 另外 整数 的 instance 和 对所有 那个 串列ITEM 和 那个 实数 是 那个 串列 的 average
No TPTP formula. May not be expressible in strict first order. People.kif 310-342 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 的出生预期 life equal 实数 若且唯若 有存在 串列， 另一个 整数,， ， 符号串,， ， 实体,， ， 另一个 实体， and 和 第三 实体 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 那个 另外 整数 的 instance 和 对所有 那个 串列ITEM 和 那个 实数 是 那个 串列 的 average
No TPTP formula. May not be expressible in strict first order. People.kif 156-187 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 每一千的 migrants equal 实数 若且唯若 (那个 整数 和 另一个 整数) equal 1 和 实体 是 那个 另外 整数 year 的 instance 和 那个 地缘政治区域 的 population equal 另一个 实数 在 那个 年 holdsDuring 和 那个 另外 实数 和 1000 equal 第三 实数 和 第三 整数 equal 符号串 所描述的类别 instance 的数量 和 第四 整数 equal 那个 符号串 所描述的类别 instance 的数量 和 (那个 第三 整数 和 那个 第四 整数) equal 第四 实数 和 那个 第四 实数 和 那个 第三 实数 equal 那个 实数
No TPTP formula. May not be expressible in strict first order. People.kif 52-64 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 的 population 成长 equal 实数 若且唯若 (那个 整数 和 那个 整数P) equal 1 和 时间位置 是 那个 整数P year 的 instance 和 那个 地缘政治区域 的 population equal 另一个 实数 在 那个 年 holdsDuring 和 那个 地缘政治区域 的 population equal 第三 实数 在 那个 时间位置 holdsDuring 和 那个 另外 实数 和 那个 第三 实数 equal 第四 实数 和 (那个 第四 实数 和 1) equal 那个 实数
No TPTP formula. May not be expressible in strict first order. Economy.kif 1517-1522 1 对于 %3 在周期 %2 的 annual 地区消费 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 货币测量 是 地缘政治区域 在 annual 地区消费 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Economy.kif 1488-1493 地缘政治区域 annual 对于 有点 时距 在周期 货币测量 的地区收入 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 货币测量 是 那个 地缘政治区域 的 annual 地区收入 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15027-15031 识字属性 是 施事体 的 attribute 若且唯若 那个 施事体 hasSkill 去做 朗读 和 那个 施事体 hasSkill 去做 写作
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 744-755 和弦音乐 是 客体 的 attribute 若且唯若 有存在 过程 和 另一个 过程 这样 那个 客体 是 制作音乐 的 instance 和 那个 过程 是 制作音乐 的 instance 和 那个 另外 过程 是 制作音乐 的 instance 和 那个 过程%n是那个 客体的subProcess 和 那个 另外 过程%n是那个 客体的subProcess 和 那个 过程 不 equal 那个 另外 过程 和 那个 过程 和 那个 客体 同时发生 和 那个 另外 过程 和 那个 客体 同时发生
No TPTP formula. May not be expressible in strict first order. Geography.kif 4711-4720 公海 是 客体 的 attribute 若且唯若 有存在 物理 和 实数 这样 那个 客体 是 盐水区 的 instance 和 那个 客体 不 是 内陆水域 的 instance 和 那个 物理 和 那个 客体 的 distance 是 那个 实数 海里 和 那个 实数 是 greaterThan 5.0
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23098-23103 女人 是 人类 的 aunt 若且唯若 有存在 另一个 人类 这样 那个 女人 是 那个 另外 人类 的 sister 和 那个 另外 人类 是 那个 人类 的 parent
No TPTP formula. May not be expressible in strict first order. People.kif 272-293 实数 是 串列 的 average 若且唯若 有存在 另一个 串列 和 正整数 这样 那个 另外 串列 的长度 equal 那个 串列 的长度 和 那个 另外 串列 的第 1 几个元素 equal 那个 串列 的第 1 几个元素 和 对所有 另一个 正整数 和 那个 正整数 equal 那个 另外 串列 的长度 和 那个 实数 equal 那个 另外 串列 的第 那个 正整数 几个元素 和 那个 正整数
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3943-3948 BankFinancialOrganization 是 有点 金融账户 的 bank 帐号 若且唯若 有存在 另一个 金融账户 这样 那个 另外 金融账户 是 有点 金融账户 的 instance 和 那个 另外 金融账户 是被 那个 BankFinancialOrganization held
No TPTP formula. May not be expressible in strict first order. People.kif 1528-1539 百分之 实数 在 信仰团体 的人相信 那个 信仰团体 若且唯若 有存在 群体， 另一个 群体,， ， 物理,， ， 那个 物理2,， ， 那个 实数1， and 和 那个 实数2 这样 那个 物理 是 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. Economy.kif 1565-1570 地缘政治区域 在周期 货币测量 对于 有点 时距 的 capital 地区支出 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 货币测量 是 那个 地缘政治区域 的 capital 地区支出 在 那个 时间位置 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 456-469 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 每个女人生的 children equal 符号串 所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order. Government.kif 1205-1212 对所有 ?AGENT， ?VOTER,， ， ?ELECTION， and 和 ?VOTING contains 独家男性选举权 的资料
No TPTP formula. May not be expressible in strict first order. Government.kif 887-895 对所有 ?COUNTRY， ?ELECTION,， ， ?VOTING， and 和 ?VOTER contains 选民公民身份要求 的资料
No TPTP formula. May not be expressible in strict first order. Government.kif 1056-1067 对所有 ?POLITY， ?AGENT,， ， ?ELECTION,， ， ?VOTINGAGE， and 和 ?AGE contains 普选法 的资料
No TPTP formula. May not be expressible in strict first order. Government.kif 1124-1138 对所有 ?POLITY， ?VOTER,， ， ?ELECTION,， ， ?VOTINGAGE， and 和 ?AGE contains 强制选举法 的资料
No TPTP formula. May not be expressible in strict first order. WMD.kif 921-929 ?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. Mid-level-ontology.kif 18229-18246 有存在 ?X， ?CUT,， ， ?PAPER,， ， ?CBO， and 和 ?INFO 这样 ?X 是 PaperShredder 的 instance 和 ?CUT 是 切开 的 instance 和 ?X 是导致 ?CUT 的 instrument 和 ?PAPER 是 纸 的 instance 和 ?PAPER 是 ?CUT 的 patient 和 ?CBO 是 located 在 ?PAPER 和 ?CBO 是 VisualContentBearingObject 的 instance 和 ?CBO contains ?INFO 的资料 减少 有存在 ?READ 这样 ?READ 是 解读 的 instance 和 ?INFO 是 ?READ 的 patient 和 ?CUT 出现 的 time 比?READ 出现 的 time发生的earlier 发生的机率
No TPTP formula. May not be expressible in strict first order. Military.kif 863-872 地缘政治区域 的 available 军事服务男性 equal 符号串 所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order. Military.kif 886-897 地缘政治区域 的 fit 对于军服务男性 equal 符号串 所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31766-31771 OrganismPopulationFn 生物 and 地理区域 equal 那个 生物I 所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31744-31749 地缘政治区域 的 population equal 符号串 所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order. Military.kif 924-937 地缘政治区域 和 年 每年的 reaching 军事男性年龄 equal 符号串 所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4559-4564 有存在 过程 和 实体 这样 那个 过程 是 传播 的 instance 和 Netflix 是 那个 过程 的 agent 和 那个 实体 是 那个 过程 的 patient 和 那个 实体 是 动态映像 的 instance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4566-4569 有存在 过程 这样 那个 过程 是 电影制作 的 instance 和 Netflix 是 那个 过程 的 agent
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4590-4593 有存在 有认知的主事 这样 NewReporter 是 那个 有认知的主事 的 attribute 和 ProPublica employs 那个 有认知的主事
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2453-2457 有存在 时间位置 这样 那个 时间位置 是 1976 year 的 instance 和 斯蒂夫·沃兹尼亚克 是 史蒂芬·贾伯斯 的 coworker 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2441-2445 有存在 时间位置 这样 那个 时间位置 是 2002 year 的 instance 和 提姆·库克 是 史蒂芬·贾伯斯 的 coworker 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Cars.kif 5094-5097 有存在 有点 客体 这样 有点 客体 是 HandToolBox 的 subclass 和 manufacturer 那个 有点 客体 and SortimoCorp
No TPTP formula. May not be expressible in strict first order. Media.kif 1970-1978 有存在 时距 这样 那个 时距 是 时距 的 instance 和 那个 时距 finishes了才到 JesusOfNazareth 出现 的 time 和 那个 时距 starts了才到 TwelveApostles 出现 的 time 和 对所有 实体
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3309-3315 IBookstore 的 目的 是 有存在 ?D 这样 ?D 是 下載 的 instance 和 iBookstore 是导致 ?D 的 instrument 和 ?T 是 文本 的 instance 和 objectTransferred ?D and ?T
No TPTP formula. May not be expressible in strict first order. Media.kif 2501-2504 Serbia 是 欧洲国家 的 instance 和 时间位置 是 5 day 的 instance 在 那个 时间位置 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order. Media.kif 2496-2499 Serbia 是 独立国家 的 instance 和 时间位置 是 5 day 的 instance 在 那个 时间位置 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order. Media.kif 2506-2509 Serbia 的名 是 "Republic of Serbia" 和 时间位置 是 5 day 的 instance 在 那个 时间位置 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order. Media.kif 2528-2531 时间位置 是 3 day 的 instance 和 Montenegro 是 欧洲国家 的 instance 在 那个 时间位置 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order. Media.kif 2523-2526 时间位置 是 3 day 的 instance 和 Montenegro 是 独立国家 的 instance 在 那个 时间位置 之后 holdsDuring

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. People.kif 456-469 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 每个女人生的 children equal 符号串 所描述的类别 instance 的数量


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