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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AppleDockPort
AppleDockPort(DockPort)

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


(subclass AppleDockPort ComputerPort) ComputingBrands.kif 2881-2881 DockPort is a subclass of port

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


(termFormat ChineseLanguage AppleDockPort "Apple 插槽") ComputingBrands.kif 2884-2884
(termFormat ChineseLanguage AppleDockPort "插槽") ComputingBrands.kif 2889-2889
(termFormat ChineseTraditionalLanguage AppleDockPort "Apple 插槽") ComputingBrands.kif 2883-2883
(termFormat ChineseTraditionalLanguage AppleDockPort "插槽") ComputingBrands.kif 2888-2888
(termFormat EnglishLanguage AppleDockPort "Apple DockPort") ComputingBrands.kif 2882-2882
(termFormat EnglishLanguage AppleDockPort "DockPort") ComputingBrands.kif 2887-2887
(termFormat JapaneseLanguage AppleDockPort "Apple DockPort") ComputingBrands.kif 2885-2885
(termFormat JapaneseLanguage AppleDockPort "DockPort") ComputingBrands.kif 2890-2890


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