TreeView Knowledge Base Browser

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	O argumento numero 1 de portNumber e' uma instancia de Programa de Computador
(domain portNumber 2 PositiveInteger)	QoSontology.kif 769-769	O argumento numero 2 de portNumber e' uma instancia de Inteiro positivo
(instance portNumber BinaryPredicate)	QoSontology.kif 767-767	portNumber e' uma instancia de Predicado Binario

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