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 and TimePosition |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7933-7933 | 域 時間部分, 2 and TimePosition |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7929-7929 | 例 時間部分 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7931-7931 | 例 時間部分 and PartialOrderingRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7930-7930 | 例 時間部分 and TemporalRelation |
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 and 時間部分 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1475-1475 | 相關的內部概念 typicallyContainsTemporalPart and 時間部分 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8064-8064 | 子關係 飾面 and 時間部分 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8032-8032 | 子關係 啟動 and 時間部分 |
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 |