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 16035-16036
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 16034-16034 子類 附著裝置 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 4168-4168 子類 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 8897-8897 子類 膠 and 附著裝置
No TPTP formula. May not be expressible in strict first order. Cars.kif 4190-4190 子類 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 4935-4950
No TPTP formula. May not be expressible in strict first order. Merge.kif 16038-16043

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 4158-4166


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