temporalPart |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2693-2696 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7935-7938 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1416-1419 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7932-7932 | 时间部分 的 1 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7933-7933 | 时间部分 的 2 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7929-7929 | 时间部分 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7931-7931 | 时间部分 是 偏序关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7930-7930 | 时间部分 是 时间关系 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 417-417 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 423-423 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 243-243 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 296-296 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2037-2037 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 195-195 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 248-248 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 541-541 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 332-332 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 264-264 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 264-264 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 488-488 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1433-1433 | typicalTemporalPart 和 时间部分 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1475-1475 | typicallyContainsTemporalPart 和 时间部分 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8064-8064 | 完成 是 时间部分 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8032-8032 | 开始 是 时间部分 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 418-418 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57451-57451 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57450-57450 |
antecedent |
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. | Merge.kif 7954-7958 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1033-1060 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 498-506 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14837-14846 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9299-9306 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9247-9254 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9312-9319 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9321-9330 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9286-9293 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9260-9267 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9273-9280 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8242-8247 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8298-8303 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1453-1470 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1493-1510 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7969-7972 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1936-1941 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1943-1948 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3754-3764 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 151-167 |
|
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. | Mid-level-ontology.kif 17051-17063 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 587-597 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12190-12198 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22260-22273 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8430-8439 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18150-18184 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1959-1963 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2808-2820 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14789-14798 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16816-16827 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1533-1541 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 941-955 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8258-8260 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7998-8005 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8016-8023 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9447-9457 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7917-7927 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22203-22214 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14376-14382 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1844-1851 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |