Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  EngineeringComponent

 Sigma KEE - EngineeringComponent
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 16057-16064
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. pictureList.kif 8470-8470
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9185-9185
No TPTP formula. May not be expressible in strict first order. Merge.kif 16056-16056 工程组件 是 设备 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3710-3710 家具 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 962-962 系统管理控制器 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order. Communications.kif 113-113 人造卫星 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order. Communications.kif 288-288 电台 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1209-1209 CartridgeCase 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2939-2939 通讯设备 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2706-2706 连接线 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 596-596 电脑硬件 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2581-2581 插头 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2554-2554 端口 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 1114-1114 调节器 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1673-1673 驱动组件 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 16116-16116 工程组件连接件 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 906-906 液压缸 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 737-737 流体动力装置 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 2232-2232 Flywheel 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 757-757 齿轮 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 762-762 齿轮系 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 767-767 变速器 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1224-1224 枪管 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1438-1438 枪托 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1361-1361 枪扳机 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1454-1454 处理 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15272-15272 合页 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1775-1775 多种 是 工程组件 的 subclass

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 16096-16096 相连工程子组件 的 1 数量 是 工程组件 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16097-16097 相连工程子组件 的 2 数量 是 工程组件 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16160-16160 连接工程子组件 的 2 数量 是 工程组件 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16161-16161 连接工程子组件 的 3 数量 是 工程组件 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16085-16085 工程子组件 的 1 数量 是 工程组件 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16086-16086 工程子组件 的 2 数量 是 工程组件 的 instance
No TPTP formula. May not be expressible in strict first order. engineering.kif 64-64 楷模 的 2 数量 是 工程组件 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2854-2854 protocolForConnector 的 2 数量 是 工程组件 的 subclass

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 16066-16071

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 16073-16081
No TPTP formula. May not be expressible in strict first order. Cars.kif 1381-1397


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

Show without tree


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