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 | 过程 是 Photocopying 的 instance 和 内容承载物理 是 那个 过程 的 patient 和 那个 内容承载物理 是 VisualContentBearingObject 的 instance 和 那个 内容承载物理 contains 命题 的资料 若且唯若 有存在 另一个 内容承载物理 和 另一个 命题 这样 那个 另外 内容承载物理 是 那个 过程 的 result 和 那个 另外 内容承载物理 是 VisualContentBearingObject 的 instance 和 那个 另外 内容承载物理 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 | 过程 是 Photocopying 的 instance 和 内容承载物理 是 那个 过程 的 patient 和 那个 内容承载物理 是 VisualContentBearingObject 的 instance 和 那个 内容承载物理 contains 命题 的资料 若且唯若 有存在 另一个 内容承载物理 和 另一个 命题 这样 那个 另外 内容承载物理 是 那个 过程 的 result 和 那个 另外 内容承载物理 是 VisualContentBearingObject 的 instance 和 那个 另外 内容承载物理 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 是 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 发生的机率 |
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
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 923-931 | 对所有 ?COUNTRY, ?ELECTION,, , ?VOTING, and 和 ?VOTER
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1092-1103 | 对所有 ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1160-1174 | 对所有 ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE
|