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

Formal Language: 



KB Term:  Term intersection
English Word: 

  holdsDuring

 Sigma KEE - holdsDuring
holdsDuring

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2083-2085
No TPTP formula. May not be expressible in strict first order. Merge.kif 3884-3887
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 731-733
No TPTP formula. May not be expressible in strict first order. Merge.kif 3881-3881 在这段时间为真 的 1 数量 是 时间位置 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3882-3882 在这段时间为真 的 2 数量 是 公式 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3880-3880 在这段时间为真 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3879-3879 在这段时间为真 是 二元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 121-121
No TPTP formula. May not be expressible in strict first order. english_format.kif 122-122
No TPTP formula. May not be expressible in strict first order. french_format.kif 82-82
No TPTP formula. May not be expressible in strict first order. relations-it.txt 129-129
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1909-1909
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 34-34
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 117-117
No TPTP formula. May not be expressible in strict first order. relations-de.txt 142-142
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 169-169
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 101-101
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 81-81
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 264-264
No TPTP formula. May not be expressible in strict first order. Merge.kif 3869-3869 时间 和 在这段时间为真 是 内部相关
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 122-122
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28353-28353
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28352-28352
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28351-28351
No TPTP formula. May not be expressible in strict first order. terms-de.txt 42-42
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 265-265

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30178-30188 实体 是 身体部位 的 instance 和 Bare 是 那个 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体 是 服装 的 instance 和 covers 那个 另外 实体 and 那个 实体 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Weather.kif 2680-2690 实体 是 地区 的 instance 和 那个 实体 有 标准状况 的 attribute 在 时间位置 holdsDuring 若且唯若 298.15 凯文度 是 那个 实体 的 air 温度 和 29.530 英寸汞 是 那个 实体 的 barometric 压力 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Merge.kif 17254-17262 实体 是 人类 的 instance 和 对所有 另一个 实体 那个 另外 实体 doesn't employs 那个 实体 在 时间位置 holdsDuring 若且唯若 失业的 是 那个 实体 的 attribute 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30132-30140 Barefoot 是 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体 是 鞋 的 instance 和 那个 实体 wears 那个 另外 实体 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30145-30153 Naked 是 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体 是 服装 的 instance 和 那个 实体 wears 那个 另外 实体 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30223-30236 Alone 是 实体 的 attribute 在 时距 holdsDuring 若且唯若 不存在 那个 实体2 和 过程 这样 那个 实体 不 equal 那个 实体2 和 那个 实体2 是 施事体 的 instance 和 那个 过程 是 社交 的 instance 和 那个 过程 出现 的 time 在 那个 时距 时段内发生 和 那个 实体 是事件 那个 过程 的 involved 和 那个 实体2 是事件 那个 过程 的 involved
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30271-30279 Mute 是 施事体 的 attribute 在 时距 holdsDuring 若且唯若 不存在 过程 这样 那个 过程 是 说话 的 instance 和 那个 过程 出现 的 time 在 那个 时距 时段内发生 和 那个 施事体 是 那个 过程 的 agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 1601-1607 LegalAgent 是 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 那个 实体 能够担当 主事 的角色做 法律诉讼 或 那个 实体 能够担当 受事 的角色做 法律诉讼 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6231-6244
No TPTP formula. May not be expressible in strict first order. Merge.kif 13841-13854
No TPTP formula. May not be expressible in strict first order. Medicine.kif 367-385
No TPTP formula. May not be expressible in strict first order. Geography.kif 1597-1603
No TPTP formula. May not be expressible in strict first order. Cars.kif 809-825
No TPTP formula. May not be expressible in strict first order. Cars.kif 2585-2603
No TPTP formula. May not be expressible in strict first order. Government.kif 223-234
No TPTP formula. May not be expressible in strict first order. Media.kif 406-411
No TPTP formula. May not be expressible in strict first order. Media.kif 509-514
No TPTP formula. May not be expressible in strict first order. Merge.kif 7960-7967
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1838-1860
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1862-1884
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1799-1807
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1814-1821
No TPTP formula. May not be expressible in strict first order. emotion.kif 161-172
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23916-23932
No TPTP formula. May not be expressible in strict first order. Merge.kif 18246-18254

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. Mid-level-ontology.kif 30178-30188 实体 是 身体部位 的 instance 和 Bare 是 那个 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体 是 服装 的 instance 和 covers 那个 另外 实体 and 那个 实体 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Merge.kif 12466-12473 过程 是 结合 的 instance 和 客体 是 那个 过程 的 resource 和 实体 是 那个 过程 的 result 若且唯若 那个 客体 不 是 那个 实体 的 part 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 客体 是 那个 实体 的 part 在 那个 过程 出现 的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order. Weather.kif 2680-2690 实体 是 地区 的 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 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. Economy.kif 1565-1570 地缘政治区域 在周期 货币测量 对于 有点 时距 的 capital 地区支出 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 货币测量 是 那个 地缘政治区域 的 capital 地区支出 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Economy.kif 3661-3666 有点 时距 是 货币测量 的 currency 交换 每美元 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 货币测量 是 美国美元 的 currency 交换汇率 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Economy.kif 3668-3673 UnitOfCurrency 对于 有点 时距 在周期 货币测量 的 currency 交换汇率 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 货币测量 是 那个 UnitOfCurrency 的 currency 交换汇率 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Economy.kif 2819-2824 地缘政治区域 是 对于 有点 时距 在期间 货币测量 的 economic 间赠补助 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 货币测量 是 那个 地缘政治区域 的 economic 捐赠补助 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Economy.kif 2859-2864 地缘政治区域 是 对于 有点 时距 在期间 货币测量 总共收到的 economic 补助 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 货币测量 是 那个 地缘政治区域 总共收到的 economic 补助 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Economy.kif 2056-2061 地缘政治区域 是 对于 实数 和 有点 时距 在周期 有点 发电 从来源的 electricity 分支 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 地缘政治区域 is 对于 那个 实数 从来源 有点 发电 的 electricity 分支 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Economy.kif 2549-2554 地缘政治区域 对 正实数 和 有点 时距 在周期 另一个 地缘政治区域 由部分 export 伙伴 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 地缘政治区域 对于 那个 正实数 由部分 那个 另外 地缘政治区域 export 伙伴 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Economy.kif 2511-2516 地缘政治区域 对 正整数 和 有点 时距 在周期 另一个 地缘政治区域 由阶级 export 伙伴 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 地缘政治区域 对于 那个 正整数 由阶级 那个 另外 地缘政治区域 export 伙伴 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Economy.kif 2387-2392 施事体 对于 有点 时距 在周期 另一个 施事体 export 伙伴 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 另外 施事体 是 那个 施事体 的 export 伙伴 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Economy.kif 2775-2780 地缘政治区域 是 对于 有点 时距 在周期 货币测量 的 external 债务 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 货币测量 是 那个 地缘政治区域 的 external 债务 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Economy.kif 1279-1284 实数 是对于 地缘政治区域 在周期 那个 实数 的 highest 平分家庭收入 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 实数 是 那个 地缘政治区域 的 highest 平分家庭收入 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Merge.kif 17254-17262 实体 是 人类 的 instance 和 对所有 另一个 实体 那个 另外 实体 doesn't employs 那个 实体 在 时间位置 holdsDuring 若且唯若 失业的 是 那个 实体 的 attribute 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30132-30140 Barefoot 是 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体 是 鞋 的 instance 和 那个 实体 wears 那个 另外 实体 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30145-30153 Naked 是 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体 是 服装 的 instance 和 那个 实体 wears 那个 另外 实体 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Merge.kif 1601-1607 LegalAgent 是 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 那个 实体 能够担当 主事 的角色做 法律诉讼 或 那个 实体 能够担当 受事 的角色做 法律诉讼 在 那个 时间位置 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. Military.kif 933-946 地缘政治区域 和 年 每年的 reaching 军事男性年龄 equal 符号串 所描述的类别 instance 的数量
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. Media.kif 1970-1978 有存在 时距 这样 那个 时距 是 时距 的 instance 和 那个 时距 finishes了才到 JesusOfNazareth 出现 的 time 和 那个 时距 starts了才到 TwelveApostles 出现 的 time 和 对所有 实体

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


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
No TPTP formula. May not be expressible in strict first order. Media.kif 2533-2536 时间位置 是 3 day 的 instance 和 Montenegro 的名 是 "Montenegro" 在 那个 时间位置 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order. Media.kif 2546-2550 时间位置 是 3 day 的 instance 和 塞尔维亚和黑山 不 是 独立国家 的 instance 在 那个 时间位置 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order. Government.kif 2791-2794 时间位置 是 1 day 的 instance 和 安第斯国际社会 是 "Andean Community of Nations" 的 conventional 全名 在 紧接 那个 时间位置 after holdsDuring
No TPTP formula. May not be expressible in strict first order. Government.kif 2765-2769 时间位置 是 1996 year 的 instance 和 法语社区的代理机构 是 "Agency for the French-Speaking Community" 的 conventional 全名 在 紧接 那个 时间位置 after holdsDuring
No TPTP formula. May not be expressible in strict first order. Media.kif 1920-1920 JesusOfNazareth 是 located 在 巴勒斯坦 在 JesusOfNazareth 出现 的 time holdsDuring


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