earlier |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2724-2725 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8374-8376 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1449-1450 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8371-8371 | 域 早期, 1 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8372-8372 | 域 早期, 2 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8366-8366 | 例 早期 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8369-8369 | 例 早期 and IrreflexiveRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8367-8367 | 例 早期 and TemporalRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8370-8370 | 例 早期 and TotalValuedRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8368-8368 | 例 早期 and TransitiveRelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 437-437 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 443-443 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 253-253 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 87-87 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2047-2047 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 205-205 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 259-259 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 571-571 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 127-127 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 274-274 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 277-277 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 189-189 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8100-8100 | 相關的內部概念 之前 and 早期 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20790-20790 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 438-438 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20789-20789 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20788-20788 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 190-190 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4373-4382 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 612-617 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3545-3555 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3593-3603 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1500-1512 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 26-47 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 120-131 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 101-111 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7972-7982 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14337-14344 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18679-18695 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24019-24028 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 80-94 | |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 778-788 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3179-3194 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3496-3510 | |
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 10941-10954 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10899-10912 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10878-10891 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8731-8736 |
|
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. | Mid-level-ontology.kif 16690-16702 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16671-16683 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 65-84 |
|
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 |