connectedEngineeringComponents |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3643-3647 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16098-16106 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16096-16096 | 域 連接的工程組件, 1 and EngineeringComponent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16097-16097 | 域 連接的工程組件, 2 and EngineeringComponent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16093-16093 | 例 連接的工程組件 and IrreflexiveRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16094-16094 | 例 連接的工程組件 and PartialValuedRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16092-16092 | 例 連接的工程組件 and SymmetricRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16095-16095 | 子關係 連接的工程組件 and 連接的 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 541-541 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 546-546 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 318-318 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 53-53 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2086-2086 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 270-270 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 87-87 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 707-707 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 94-94 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 339-339 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 350-350 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 122-122 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 542-542 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16650-16650 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16649-16649 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16648-16648 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 123-123 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1365-1371 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1660-1668 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 577-586 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16152-16155 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2346-2380 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2608-2614 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3324-3337 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3583-3589 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1972-1980 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3286-3295 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2675-2681 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2711-2728 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3214-3226 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3801-3812 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1381-1397 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2293-2308 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4120-4124 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3970-3978 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4038-4044 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2873-2879 |