defaultNetwork - Sigma Knowledge base Browser

appearance as argument number 1

(documentation defaultNetwork EnglishLanguage "(defaultNetwork ?SYSTEM ?NET) holds if ?NET is the default network of the HardwareSystem ?SYSTEM.")	QoSontology.kif 1111-1112
(domain defaultNetwork 1 HardwareSystem)	QoSontology.kif 1109-1109	The number 1 argument of default network is an instance of hardware system
(domain defaultNetwork 2 ComputerNetwork)	QoSontology.kif 1110-1110	The number 2 argument of default network is an instance of computer network
(instance defaultNetwork BinaryPredicate)	QoSontology.kif 1108-1108	default network is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage defaultNetwork "%2 %n 是 %1 的 default 网路")	domainEnglishFormat.kif 700-700
(format ChineseTraditionalLanguage defaultNetwork "%2 %n 是 %1 的 default 網路")	domainEnglishFormat.kif 699-699
(format EnglishLanguage defaultNetwork "%2 is %n a default network of %1")	domainEnglishFormat.kif 698-698
(termFormat ChineseLanguage defaultNetwork "预设网络")	domainEnglishFormat.kif 18903-18903
(termFormat ChineseTraditionalLanguage defaultNetwork "預設網絡")	domainEnglishFormat.kif 18902-18902
(termFormat EnglishLanguage defaultNetwork "default network")	domainEnglishFormat.kif 18901-18901