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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AttachingDevice
AttachingDevice(附著裝置)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3630-3631
No TPTP formula. May not be expressible in strict first order. Merge.kif 16013-16014
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1039-1039
No TPTP formula. May not be expressible in strict first order. Merge.kif 16012-16012 子類 附著裝置 and Device

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4239-4239 子類 錨 and 附著裝置
No TPTP formula. May not be expressible in strict first order. Cars.kif 4160-4160 子類 Bolt and 附著裝置
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4262-4262 子類 按鍵 and 附著裝置
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4272-4272 子類 鉗 and 附著裝置
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8898-8898 子類 膠 and 附著裝置
No TPTP formula. May not be expressible in strict first order. Cars.kif 4182-4182 子類 MechanicalNut and 附著裝置
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4222-4222 子類 釘 and 附著裝置
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4189-4189 子類 螺絲 and 附著裝置
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4226-4226 子類 膠帶 and 附著裝置
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8970-8970
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8969-8969
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8968-8968

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 4927-4942
No TPTP formula. May not be expressible in strict first order. Merge.kif 16016-16021

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4285-4293
No TPTP formula. May not be expressible in strict first order. Cars.kif 4150-4158


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