TreeView 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 1114-1115
(domain defaultNetwork 1 HardwareSystem)	QoSontology.kif 1112-1112	The number 1 argument of default network is an instance of hardware system
(domain defaultNetwork 2 ComputerNetwork)	QoSontology.kif 1113-1113	The number 2 argument of default network is an instance of computer network
(instance defaultNetwork BinaryPredicate)	QoSontology.kif 1111-1111	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 18897-18897
(termFormat ChineseTraditionalLanguage defaultNetwork "預設網絡")	domainEnglishFormat.kif 18896-18896
(termFormat EnglishLanguage defaultNetwork "default network")	domainEnglishFormat.kif 18895-18895