connectedEngineeringComponents - Sigma Knowledge base Browser

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 16195-16203
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 16190-16190	例連接的工程組件 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16191-16191	例連接的工程組件 and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16189-16189	例連接的工程組件 and SymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16192-16192	子關係連接的工程組件 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 16665-16665
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16664-16664
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16663-16663
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 215-215
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 123-123

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3231-3245	持有期間 Physical and attribute EngineeringComponent and 啟動中持有期間 Physical and attribute EngineeringComponent and 準備好主持等於 Physical and 眼前的未來何時 Physical 例 EngineeringComponent and ComputerDisplay 連接的工程組件 EngineeringComponent and EngineeringComponent 模態屬性 entity 例 entity and 主頁面 entity 是在 EngineeringComponent displayed and 容易
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2914-2932	例 EngineeringComponent and EngineGovernor 例 EngineeringComponent and 發動機連接的工程組件 EngineeringComponent and EngineeringComponent governorSpeed EngineeringComponent and 測量 RealNumber and MilesPerHour 有目的 EngineeringComponent and entity entity and entity 例 entity and Device 部分 entity and EngineeringComponent 例 entity and 旋轉持有期間何時 entity and 測量 entity and 測量 entity and MilesPerHour 比較多 entity and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2941-2957	例 EngineeringComponent and EngineGovernor 例 EngineeringComponent and 車輛連接的工程組件 EngineeringComponent and EngineeringComponent governorSpeed SpeedGovernor and 測量 RealNumber and MilesPerHour 有目的 EngineeringComponent and entity entity 例 entity and 易位持有期間何時 entity and 測量 EngineeringComponent and 測量 entity and MilesPerHour 比較多 entity and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2893-2905	例 EngineeringComponent and SpeedGovernor governorSpeed EngineeringComponent and 測量 RealNumber and MilesPerHour 連接的工程組件 EngineeringComponent and EngineeringComponent 有目的 EngineeringComponent and RealNumberP2 測量 EngineeringComponent and 測量 RealNumberP2 and MilesPerHour 比較多 RealNumberP2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27042-27055	例 EngineeringComponent and ElectricalPlug 例 EngineeringComponent and 電器例 HoleRegion and ElectricalOutlet 連接的工程組件 EngineeringComponent and EngineeringComponent 完全填滿 EngineeringComponent and HoleRegion 例 EngineeringComponent and 能量源連接的工程組件 EngineeringComponent and HoleRegion Process 例 Process and 輻射電磁起源 Process and EngineeringComponent 目的地 Process and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2098-2117	例 Entity and 軸例 Entity and 軸等於 Entity and Entity 例 EngineeringComponent and 旋轉患者 EngineeringComponent and Entity 例 EngineeringComponent and 旋轉患者 EngineeringComponent and Entity 原因 EngineeringComponent and EngineeringComponent 例 EngineeringComponent and CVJoint 連接的工程組件 EngineeringComponent and EngineeringComponent 連接的工程組件 EngineeringComponent and EngineeringComponent 持有期間何時 EngineeringComponent and 等於 Entity and RotationFn entity and entity 持有期間何時 EngineeringComponent and 等於 Entity and RotationFn entity and entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16205-16211	連接的工程組件 EngineeringComponent and EngineeringComponent 工程子組件 EngineeringComponent and EngineeringComponent 工程子組件 EngineeringComponent and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16244-16247	連接的工程組件 EngineeringComponent and EngineeringComponent EngineeringConnection 連接工程組件 EngineeringConnection, EngineeringComponent and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16237-16242	連接的工程組件 EngineeringComponent and EngineeringComponent 例 EngineeringComponent and EngineeringConnection 例 EngineeringComponent and EngineeringConnection

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1365-1371	例 Entity and InternetAccessPoint 例 Entity and Device 持有期間何時連接的工程組件 Entity and Entity and 工程子組件 Entity and 互聯網
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1667-1675	例 Object and Cam 例 ObjectS and Camshaft 例 Object and 發動機部分 Object and Object 部分 ObjectS and Object 有目的 ObjectS and 連接的工程組件 Object and ObjectS
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 577-586	例 EngineeringComponent and CableModem 例 Process and Communication 儀器 Process and EngineeringComponent EngineeringComponent 例 EngineeringComponent and Cable 儀器 Process and EngineeringComponent 連接的工程組件 EngineeringComponent and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16249-16251	連接工程組件 EngineeringConnection, EngineeringComponent and EngineeringComponent 連接的工程組件 EngineeringComponent and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2330-2364	例 Physical and AutomobileTransmission 有目的 Physical and entity entity, entity, entity, entity, entity, entity, entity, entity and entity 例 entity and Crankshaft 例 entity and Driveshaft 例 entity and 汽車部分 entity and entity 部分 Physical and entity 部分 entity and entity 連接的工程組件 entity and Physical 連接的工程組件 entity and Physical 例 entity and 旋轉例 entity and 旋轉例 entity and 旋轉例 entity and 旋轉患者 entity and entity 患者 entity and entity 患者 entity and entity 患者 entity and entity 原因 entity and entity 原因 entity and entity 等於 entity and entity 持有期間 entity and 測量 entity and RotationFn entity and 分鐘持有期間 entity and 測量 entity and RotationFn entity and 分鐘持有期間 entity and 測量 entity and RotationFn entity and 分鐘持有期間 entity and 測量 entity and RotationFn entity and 分鐘等於 entity and entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2608-2614	例 Physical and 插頭有目的 Physical and entity 例 entity and 端口連接的工程組件 Physical and entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3324-3337	例 Collection and ComputerSystem EngineeringComponent EngineeringComponent and EngineeringComponent 例 EngineeringComponent and 電腦例 EngineeringComponent and 電腦例 EngineeringComponent and 計算機網絡會員 EngineeringComponent and Collection 會員 EngineeringComponent and Collection 會員 EngineeringComponent and Collection 等於 EngineeringComponent and EngineeringComponent 連接的工程組件 EngineeringComponent and EngineeringComponent 連接的工程組件 EngineeringComponent and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3583-3589	例 Physical and DevicePowerSupply 有目的 Physical and entity 例 entity and ACPowerSource 連接的工程組件 Physical and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1956-1964	例 Physical and EngineConnectingRod 有目的 Physical and entity entity 例 entity and Piston 例 entity and Crankshaft 連接的工程組件 entity and Physical 連接的工程組件 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3347-3356	例 Physical and EngineMAPSensor 有目的 Physical and entity entity 例 entity and EngineControlModule 例 entity and 汽車部分 Physical and entity 部分 entity and entity 連接的工程組件 Physical and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2659-2665	例 Physical and ExhaustValve 有目的 Physical and entity 例 entity and ExhaustManifold 連接的工程組件 Physical and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2695-2712	例 Physical and FanBelt 有目的 Physical and entity entity, entity and entity 例 entity and Pulley 例 entity and Pulley 等於 entity and entity 例 entity and Crankshaft 例 entity and 汽車部分 entity and entity 部分 entity and entity 部分 entity and entity 部分 Physical and entity 連接的工程組件 entity and entity 連接的工程組件 entity and Physical 連接的工程組件 Physical and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3275-3287	例 Object and JumperCable EngineeringComponent EngineeringComponent and EngineeringComponent 例 EngineeringComponent and 鉗例 EngineeringComponent and 鉗例 EngineeringComponent and 線部分 EngineeringComponent and Object 部分 EngineeringComponent and Object 部分 EngineeringComponent and Object 連接的工程組件 EngineeringComponent and EngineeringComponent 連接的工程組件 EngineeringComponent and EngineeringComponent 等於 EngineeringComponent and EngineeringComponent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3801-3812	例 Process and MountingADevice Entity Entity 例 Entity and 電腦例 Entity and ComputerIODevice 患者 Process and Entity 患者 Process and Entity 持有期間何時 Process and 連接的工程組件 Entity and Entity 持有期間眼前的未來何時 Process and connectedPeripheral Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1381-1397	例 Physical and MechanicalJoint 有目的 Physical and entity entity, entity and entity 例 entity and Motion 例 entity and 物理系統例 entity and EngineeringComponent 例 entity and EngineeringComponent 部分 entity and 物理系統部分 Physical and 物理系統部分 entity and 物理系統患者 entity and entity 患者 entity and entity 連接的工程組件 entity and Physical 連接的工程組件 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2277-2292	例 Physical and Pulley 有目的 Physical and Physical entity, entity and entity 例 Physical and Pulley 等於 Physical and Physical 例 entity and Drivebelt 例 entity and 旋轉例 entity and 旋轉連接的工程組件 Physical and entity 連接的工程組件 Physical and entity 患者 entity and Physical 患者 entity and Physical 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4181-4185	例 Physical and Rod 有目的 Physical and entity 連接的工程組件 Physical and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4031-4039	例 Physical and SteeringBox 有目的 Physical and entity entity 例 entity and 方向盤例 entity and SteeringColumn 連接的工程組件 entity and entity 連接的工程組件 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4099-4105	例 Physical and Tailpipe 有目的 Physical and entity 例 entity and AutomobileMuffler 連接的工程組件 entity and Physical
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2873-2879	例 Physical and USBPort 有目的 Physical and entity 例 entity and USBCable 連接的工程組件 entity and Physical

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: