Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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 2792-2792 DockPort is a subclass of port

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


(termFormat EnglishLanguage AppleDockPort "Apple DockPort") ComputingBrands.kif 2793-2793
(termFormat ChineseTraditionalLanguage AppleDockPort "Apple 插槽") ComputingBrands.kif 2794-2794
(termFormat ChineseLanguage AppleDockPort "Apple 插槽") ComputingBrands.kif 2795-2795
(termFormat JapaneseLanguage AppleDockPort "Apple DockPort") ComputingBrands.kif 2796-2796
(termFormat EnglishLanguage AppleDockPort "DockPort") ComputingBrands.kif 2798-2798
(termFormat ChineseTraditionalLanguage AppleDockPort "插槽") ComputingBrands.kif 2799-2799
(termFormat ChineseLanguage AppleDockPort "插槽") ComputingBrands.kif 2800-2800
(termFormat JapaneseLanguage AppleDockPort "DockPort") ComputingBrands.kif 2801-2801


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners