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 数量 是 时距 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8372-8372 | 更早 的 2 数量 是 时距 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8366-8366 | 更早 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8369-8369 | 更早 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8367-8367 | 更早 是 时间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8370-8370 | 更早 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8368-8368 | 更早 是 传递关系 的 instance |
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 | 之前 和 更早 是 内部相关 |
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 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 809-825 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8281-8288 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 223-234 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 480-489 | |
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 85-94 | |
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. | ArabicCulture.kif 65-84 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9774-9795 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8378-8380 |
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 是 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 发生的机率 |