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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerKeypad

Sigma KEE - portNumber
portNumber

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


(documentation portNumber EnglishLanguage "(portNumber ?PROGRAM ?NUMBER) holds if ?NUMBER identifies a protocol port, i.e. a TCP-IP software abstraction used to distinguish different applications providing services within a single destination computer. The different ports on a host are identified by a positive 16-bit number.") QoSontology.kif 770-773
(domain portNumber 1 ComputerProgram) QoSontology.kif 768-768 端口號, 1 and ComputerProgram
(domain portNumber 2 PositiveInteger) QoSontology.kif 769-769 端口號, 2 and PositiveInteger
(instance portNumber BinaryPredicate) QoSontology.kif 767-767 端口號 and BinaryPredicate

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


(format ChineseLanguage portNumber "%2 %n 是 %1 的 port 号码") domainEnglishFormat.kif 2003-2003
(format ChineseTraditionalLanguage portNumber "%2 %n 是 %1 的 port 號碼") domainEnglishFormat.kif 2002-2002
(format EnglishLanguage portNumber "%2 is %n a port number of %1") domainEnglishFormat.kif 2001-2001
(termFormat ChineseLanguage portNumber "端口号") domainEnglishFormat.kif 46750-46750
(termFormat ChineseTraditionalLanguage portNumber "端口號") domainEnglishFormat.kif 46749-46749
(termFormat EnglishLanguage portNumber "port number") domainEnglishFormat.kif 46748-46748


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