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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - containsInformation
containsInformation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1648-1650
No TPTP formula. May not be expressible in strict first order. Merge.kif 1360-1364
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 234-236
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 276-279
No TPTP formula. May not be expressible in strict first order. Merge.kif 1357-1357 包含信息 的 1 数量 是 内容承载物理instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1358-1358 包含信息 的 2 数量 是 命题instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1355-1355 包含信息非对称关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1354-1354 包含信息二元谓语instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1369-1369 包含信息containsFormula 是 内部相关
No TPTP formula. May not be expressible in strict first order. Merge.kif 1356-1356 包含信息表示subrelation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 81-81
No TPTP formula. May not be expressible in strict first order. english_format.kif 81-81
No TPTP formula. May not be expressible in strict first order. french_format.kif 65-65
No TPTP formula. May not be expressible in strict first order. relations-it.txt 57-57
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1889-1889
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 17-17
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 91-91
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 71-71
No TPTP formula. May not be expressible in strict first order. relations-de.txt 92-92
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 98-98
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 84-84
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 64-64
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 130-130
No TPTP formula. May not be expressible in strict first order. Merge.kif 1329-1329 有内用物体包含信息 是 内部相关
No TPTP formula. May not be expressible in strict first order. Merge.kif 4600-4600 体现包含信息 是 内部相关
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4409-4409 accountInformation包含信息subrelation
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 635-635 程序副本包含信息subrelation
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 82-82
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16937-16937
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16936-16936
No TPTP formula. May not be expressible in strict first order. terms-de.txt 25-25

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


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. Government.kif 766-772
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29639-29653
No TPTP formula. May not be expressible in strict first order. Government.kif 774-783
No TPTP formula. May not be expressible in strict first order. Media.kif 995-1000
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. MilitaryProcesses.kif 1535-1541
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1573-1580
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. MilitaryProcesses.kif 1812-1818
No TPTP formula. May not be expressible in strict first order. Geography.kif 3025-3032
No TPTP formula. May not be expressible in strict first order. emotion.kif 2016-2029
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26299-26315
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 940-949
No TPTP formula. May not be expressible in strict first order. Merge.kif 4589-4593

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 14072-14077
No TPTP formula. May not be expressible in strict first order. Government.kif 1029-1038
No TPTP formula. May not be expressible in strict first order. Government.kif 957-966
No TPTP formula. May not be expressible in strict first order. Merge.kif 16842-16851
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29639-29653
No TPTP formula. May not be expressible in strict first order. Merge.kif 12715-12728
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. Mid-level-ontology.kif 6429-6439
No TPTP formula. May not be expressible in strict first order. Merge.kif 10863-10870
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2181-2191
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2169-2179
No TPTP formula. May not be expressible in strict first order. Military.kif 32-44
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2535-2553
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2512-2528
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2489-2505
No TPTP formula. May not be expressible in strict first order. Geography.kif 3018-3023
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16227-16239
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26299-26315
No TPTP formula. May not be expressible in strict first order. Merge.kif 4589-4593
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4031-4036
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2702-2707
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13862-13869
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 909-916
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1654-1675

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. Mid-level-ontology.kif 18202-18219 有存在 ?X, ?CUT,, , ?PAPER,, , ?CBO, and 和 ?INFO 这样 ?X 是 PaperShredderinstance 和 ?CUT 是 切开instance 和 ?X 是导致 ?CUT 的 instrument 和 ?PAPER 是 instance 和 ?PAPER 是 ?CUT 的 patient 和 ?CBO 是 located 在 ?PAPER 和 ?CBO 是 VisualContentBearingObjectinstance 和 ?CBO contains ?INFO 的资料 减少 有存在 ?READ 这样 ?READ 是 解读instance 和 ?INFO 是 ?READ 的 patient 和 ?CUT 出现 的 time 比?READ 出现 的 time发生的earlier 发生的机率

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1241-1248 对所有 ?AGENT, ?VOTER,, , ?ELECTION, and 和 ?VOTING contains 独家男性选举权 的资料
No TPTP formula. May not be expressible in strict first order. Government.kif 923-931 对所有 ?COUNTRY, ?ELECTION,, , ?VOTING, and 和 ?VOTER contains 选民公民身份要求 的资料
No TPTP formula. May not be expressible in strict first order. Government.kif 1092-1103 对所有 ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE contains 普选法 的资料
No TPTP formula. May not be expressible in strict first order. Government.kif 1160-1174 对所有 ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE contains 强制选举法 的资料


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