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

Formal Language: 



KB Term:  Term intersection
English Word: 

  result

Sigma KEE - result
result

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2515-2515 结果工具disjoint 关系
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1895-1896
No TPTP formula. May not be expressible in strict first order. Merge.kif 2554-2556
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 521-522
No TPTP formula. May not be expressible in strict first order. Merge.kif 2551-2551 结果 的 1 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2552-2552 结果 的 2 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2549-2549 结果格角色instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2550-2550 结果部分值关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2548-2548 结果受事subrelation

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2513-2513 资源结果disjoint 关系
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 183-183
No TPTP formula. May not be expressible in strict first order. english_format.kif 184-184
No TPTP formula. May not be expressible in strict first order. french_format.kif 111-111
No TPTP formula. May not be expressible in strict first order. relations-it.txt 257-257
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1940-1940
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 63-63
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 87-87
No TPTP formula. May not be expressible in strict first order. relations-de.txt 232-232
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 294-294
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 130-130
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 116-116
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 449-449
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 184-184
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49795-49795
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49794-49794
No TPTP formula. May not be expressible in strict first order. terms-de.txt 73-73

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


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. Mid-level-ontology.kif 20760-20767
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18837-18843
No TPTP formula. May not be expressible in strict first order. Biography.kif 730-740
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20734-20743
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3040-3054
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3022-3038
No TPTP formula. May not be expressible in strict first order. Merge.kif 12828-12832
No TPTP formula. May not be expressible in strict first order. Dining.kif 586-602
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20415-20420
No TPTP formula. May not be expressible in strict first order. Catalog.kif 172-178
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10055-10078
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10025-10046
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 74-83
No TPTP formula. May not be expressible in strict first order. Merge.kif 12046-12062
No TPTP formula. May not be expressible in strict first order. WMD.kif 690-694
No TPTP formula. May not be expressible in strict first order. Merge.kif 12547-12556
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1527-1533
No TPTP formula. May not be expressible in strict first order. Merge.kif 10840-10848
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3794-3798
No TPTP formula. May not be expressible in strict first order. Economy.kif 5485-5493
No TPTP formula. May not be expressible in strict first order. Food.kif 3692-3699
No TPTP formula. May not be expressible in strict first order. WMD.kif 654-660
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16047-16052
No TPTP formula. May not be expressible in strict first order. Food.kif 2687-2692

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 26329-26340 过程Photocopyinginstance 内容承载物理那个 过程patient那个 内容承载物理VisualContentBearingObjectinstance那个 内容承载物理 contains 命题 的资料 若且唯若 有存在 另一个 内容承载物理另一个 命题 这样 那个 另外 内容承载物理那个 过程result那个 另外 内容承载物理VisualContentBearingObjectinstance那个 另外 内容承载物理 contains 那个 另外 命题 的资料 和 那个 命题 equal 那个 另外 命题
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. Mid-level-ontology.kif 968-975 整数 机构year 资金 若且唯若 有存在 过程那个 整数EAR 这样 那个 整数EAR 时段 和 那个 过程 出现 的 time 重叠 和 那个 整数EAR 是 那个 整数 yearinstance那个 过程创建instance那个 机构那个 过程result
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20752-20758
No TPTP formula. May not be expressible in strict first order. Merge.kif 17332-17345
No TPTP formula. May not be expressible in strict first order. Economy.kif 4195-4204
No TPTP formula. May not be expressible in strict first order. Communications.kif 202-214
No TPTP formula. May not be expressible in strict first order. Food.kif 994-1003
No TPTP formula. May not be expressible in strict first order. Food.kif 3199-3211
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8726-8736
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19379-19392
No TPTP formula. May not be expressible in strict first order. Merge.kif 10222-10237
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 85-94
No TPTP formula. May not be expressible in strict first order. WMD.kif 750-758
No TPTP formula. May not be expressible in strict first order. Food.kif 1190-1205
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3665-3678
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 655-669
No TPTP formula. May not be expressible in strict first order. Food.kif 1012-1026
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6219-6228
No TPTP formula. May not be expressible in strict first order. Economy.kif 1607-1617
No TPTP formula. May not be expressible in strict first order. Economy.kif 5210-5222
No TPTP formula. May not be expressible in strict first order. Economy.kif 4384-4399
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2078-2091
No TPTP formula. May not be expressible in strict first order. Merge.kif 16802-16810
No TPTP formula. May not be expressible in strict first order. Military.kif 32-44

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