| EngineeringComponent
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3636-3639 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16154-16161 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9183-9183 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8469-8469 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9184-9184 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16153-16153 | 子類 EngineeringComponent and Device |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3776-3776 | 不相交的 家具 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 962-962 | 子類 系统管理控制器 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 113-113 | 子類 人造衛星 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 288-288 | 子類 電台 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1202-1202 | 子類 CartridgeCase and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3005-3005 | 子類 通訊設備 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2706-2706 | 子類 連接線 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 596-596 | 子類 電腦硬件 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2581-2581 | 子類 插頭 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2554-2554 | 子類 端口 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1427-1427 | 子類 調節器 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1739-1739 | 子類 驅動組件 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16213-16213 | 子類 EngineeringConnection and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1219-1219 | 子類 液壓缸 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 736-736 | 子類 流體動力裝置 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2216-2216 | 子類 Flywheel and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 756-756 | 子類 齒輪 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 816-816 | 子類 GearTooth and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 887-887 | 子類 齒輪系 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 892-892 | 子類 變速器 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1217-1217 | 子類 槍管 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1431-1431 | 子類 槍托 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1354-1354 | 子類 槍扳機 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1447-1447 | 子類 處理 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16200-16200 | 子類 合頁 and EngineeringComponent |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16193-16193 | 域 連接的工程組件, 1 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16194-16194 | 域 連接的工程組件, 2 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16256-16256 | 域 連接工程組件, 2 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16257-16257 | 域 連接工程組件, 3 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16182-16182 | 域 工程子組件, 1 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16183-16183 | 域 工程子組件, 2 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 63-63 | 域子類 楷模, 2 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2854-2854 | 域子類 protocolForConnector, 2 and EngineeringComponent |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16163-16168 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2735-2744 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16170-16178 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1381-1397 |
|
|
|
|