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 and 內容承載物理 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1358-1358 | 域 包含信息, 2 and Proposition |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1355-1355 | 例 包含信息 and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1354-1354 | 例 包含信息 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1369-1369 | 相關的內部概念 包含信息 and containsFormula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1356-1356 | 子關係 包含信息 and 代表 |
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 | 相關的內部概念 ContentBearingObject and 包含信息 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4600-4600 | 相關的內部概念 實現 and 包含信息 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4409-4409 | 子關係 accountInformation and 包含信息 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 635-635 | 子關係 程序副本 and 包含信息 |
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 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26329-26340 | 例 Process and Photocopying 患者 Process and 內容承載物理 例 內容承載物理 and VisualContentBearingObject 包含信息 內容承載物理 and Proposition 內容承載物理 Proposition 結果 Process and 內容承載物理 例 內容承載物理 and VisualContentBearingObject 包含信息 內容承載物理 and Proposition 等於 Proposition and Proposition |
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 and PaperShredder 例 ?CUT and Cutting 儀器 ?CUT and ?X 例 ?PAPER and 紙 患者 ?CUT and ?PAPER 位於 ?CBO and ?PAPER 例 ?CBO and VisualContentBearingObject 包含信息 ?CBO and ?INFO and ?READ 例 ?READ and 解讀 患者 ?READ and ?INFO 早期 何時 ?CUT and 何時 ?READ |
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
|