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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 Le nombre 1 argument de portNumber est une instance de programme d'ordinateur
(domain portNumber 2 PositiveInteger) QoSontology.kif 769-769 Le nombre 2 argument de portNumber est une instance de nombre entier positif
(instance portNumber BinaryPredicate) QoSontology.kif 767-767 portNumber est une instance de pr�dicat binaire

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 46748-46748
(termFormat ChineseTraditionalLanguage portNumber "端口號") domainEnglishFormat.kif 46747-46747
(termFormat EnglishLanguage portNumber "port number") domainEnglishFormat.kif 46746-46746


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