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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - not
not

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41283-41283
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41282-41282
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41281-41281

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


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. Merge.kif 17254-17262 实体人类instance 和 对所有 另一个 实体 那个 另外 实体 doesn't employs 那个 实体 时间位置 holdsDuring 若且唯若 失业的那个 实体attribute那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Economy.kif 506-510
No TPTP formula. May not be expressible in strict first order. Dining.kif 1165-1176
No TPTP formula. May not be expressible in strict first order. Medicine.kif 172-187
No TPTP formula. May not be expressible in strict first order. Medicine.kif 155-170
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3984-4004
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12537-12547
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2693-2704
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2665-2676
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4078-4095
No TPTP formula. May not be expressible in strict first order. Merge.kif 9715-9720
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. Military.kif 772-778
No TPTP formula. May not be expressible in strict first order. Medicine.kif 234-249
No TPTP formula. May not be expressible in strict first order. Dining.kif 1148-1156
No TPTP formula. May not be expressible in strict first order. Merge.kif 9554-9560
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 32-46
No TPTP formula. May not be expressible in strict first order. Merge.kif 476-484
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-150
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1347-1358
No TPTP formula. May not be expressible in strict first order. Merge.kif 4861-4872
No TPTP formula. May not be expressible in strict first order. Merge.kif 4874-4888
No TPTP formula. May not be expressible in strict first order. Merge.kif 4946-4956
No TPTP formula. May not be expressible in strict first order. Merge.kif 4958-4972

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 实体身体部位instanceBare那个 实体attribute 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体服装instancecovers 那个 另外 实体 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. People.kif 357-390 那个 年EAR yearinstance 地缘政治区域那个 年male 出生估计寿命 equal 实数 若且唯若 有存在 串列另一个 整数,, , 符号串,, , 实体,, , 另一个 实体, and 和 第三 实体 这样 那个 串列串列instance那个 串列 的长度 是 那个 另外 整数instance 和 对所有 那个 串列ITEM 那个 实数那个 串列average
No TPTP formula. May not be expressible in strict first order. People.kif 403-436 整数 yearinstance 地缘政治区域那个 年female 出生预期寿命 equal 实数 若且唯若 有存在 串列另一个 整数,, , 符号串,, , 实体,, , 另一个 实体, and 和 第三 实体 这样 那个 串列串列instance那个 串列 的长度 是 那个 另外 整数instance 和 对所有 那个 串列ITEM 那个 实数那个 串列average
No TPTP formula. May not be expressible in strict first order. People.kif 310-342 整数 yearinstance 地缘政治区域那个 年 的出生预期 life equal 实数 若且唯若 有存在 串列另一个 整数,, , 符号串,, , 实体,, , 另一个 实体, and 和 第三 实体 这样 那个 串列串列instance那个 串列 的长度 是 那个 另外 整数instance 和 对所有 那个 串列ITEM 那个 实数那个 串列average
No TPTP formula. May not be expressible in strict first order. People.kif 156-187 整数 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. Mid-level-ontology.kif 751-762 和弦音乐 客体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 23061-23076 人类 另一个 人类cousins 若且唯若 有存在 女人 这样 那个 人类grandmother那个 女人那个 人类grandfather那个 人那个 另外 人类grandmother那个 女人那个 另外 人类grandfather那个 人 和 不存在 生物另一个 生物 这样 那个 生物那个 人类mother那个 另外 生物那个 人类 father那个 生物那个 另外 人类mother那个 另外 生物那个 另外 人类 father
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. Mid-level-ontology.kif 6478-6488 实体共轭物质instance 若且唯若 有存在 客体另一个 客体, and 和 过程 这样 那个 客体复合物质instance那个 另外 客体复合物质instance那个 客体equal 那个 另外 客体那个 过程化学合成instance那个 客体那个 过程resource那个 另外 客体那个 过程resource那个 实体那个 过程result
No TPTP formula. May not be expressible in strict first order. Transportation.kif 294-306 长度测量 地理区域 的未分类规格轨道 length 若且唯若 符号串 所描述的类别 的 length那个 长度测量
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30296-30310 过程 是以 Harmless 的形式发生 若且唯若 那个 过程 不 是 损坏instance 和 不存在 那个 过程2 这样 那个 过程2 是 损坏instance那个 过程2%n是那个 过程subProcess 和 不存在 那个 过程2 这样 那个 过程2 是 损坏instance那个 过程 causes 那个 过程2
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13850-13857 公式 的声明 has 合法 的语气 若且唯若 不存在 另一个 公式 这样 那个 另外 公式 的声明 has 的语气 和 那个 另外 公式 不 是 那个 公式consistent
No TPTP formula. May not be expressible in strict first order. Merge.kif 17416-17418 公式 的声明 has 必要性 的语气 若且唯若 那个 公式 的声明 doesn't have 可能性 的语气
No TPTP formula. May not be expressible in strict first order. Merge.kif 17479-17481 公式 的声明 has 义务 的语气 若且唯若 那个 公式 的声明 doesn't have 允许 的语气
No TPTP formula. May not be expressible in strict first order. Merge.kif 17515-17517 公式 的声明 has 禁令 的语气 若且唯若 那个 公式 的声明 doesn't have 允许 的语气
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9119-9122 客体另一个 客体 若且唯若 那个 客体 不 是 partlyLocated那个 另外 客体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23152-23159 人类stepfather 若且唯若 有存在 另一个 人类 这样 那个 另外 人类那个 人类mother那个 人那个 另外 人类spouse那个 人 不 是 那个 人类 father
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23169-23176 女人 人类stepfather 若且唯若 有存在 另一个 人类 这样 那个 另外 人类那个 人类 father那个 女人那个 另外 人类spouse那个 女人 不 是 那个 人类mother
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14091-14098
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14055-14058

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. Media.kif 2546-2550 时间位置 是 3 dayinstance塞尔维亚和黑山 不 是 独立国家instance那个 时间位置 之后 holdsDuring

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2011-2015 ~{ GUIElementstate GUE_NonVisibleState } 或 ~{ 那个 GUIElementstate GUE_ActiveState } 或 ~{ 那个 GUIElementInterfaceWindowinstance }
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2226-2229 ~{ GUIElementCursorinstance } 或 ~{ 那个 GUIElementstate GUE_SelectedState }
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1952-1955 ~{ GUIElementMouseCursorinstance } 或 ~{ 那个 GUIElementstate GUE_ActiveState }
No TPTP formula. May not be expressible in strict first order. Government.kif 2915-2915 大六equal 6人组
No TPTP formula. May not be expressible in strict first order. Merge.kif 6099-6106 不存在 图路径另一个 图路径 这样 那个 图路径 是 把 分成另外两个图的路径 Setinstance那个 另外 图路径 是 把 那个 图 分成另外两个图的最短路径 Setinstance那个 图路径length 正整数那个 另外 图路径length另一个 正整数那个 正整数lessThan 那个 另外 正整数
No TPTP formula. May not be expressible in strict first order. Government.kif 3219-3219 丹麦 不 是 欧洲货币联盟member
No TPTP formula. May not be expressible in strict first order. Government.kif 3220-3220 瑞典 不 是 欧洲货币联盟member
No TPTP formula. May not be expressible in strict first order. Government.kif 3221-3221 英国 不 是 欧洲货币联盟member
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7891-7891 共同的时代之前 时段 doesn't 和 共同时代 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 3585-3585 植物树found北极地区


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