Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| defaultNetwork |
| appearance as argument number 1 |
|
| (instance defaultNetwork BinaryPredicate) | QoSontology.kif 1098-1098 | default network is an instance of binary predicate |
| (domain defaultNetwork 1 HardwareSystem) | QoSontology.kif 1099-1099 | The number 1 argument of default network is an instance of hardware system |
| (domain defaultNetwork 2 ComputerNetwork) | QoSontology.kif 1100-1100 | The number 2 argument of default network is an instance of computer network |
| (documentation defaultNetwork EnglishLanguage "(defaultNetwork ?SYSTEM ?NET) holds if ?NET is the default network of the HardwareSystem ?SYSTEM.") | QoSontology.kif 1101-1102 | The number 2 argument of default network is an instance of computer network |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage defaultNetwork "%2 is %n a default network of %1") | domainEnglishFormat.kif 698-698 | |
| (format ChineseTraditionalLanguage defaultNetwork "%2 %n 是 %1 的 default 網路") | domainEnglishFormat.kif 699-699 | |
| (format ChineseLanguage defaultNetwork "%2 %n 是 %1 的 default 网路") | domainEnglishFormat.kif 700-700 | |
| (termFormat EnglishLanguage defaultNetwork "default network") | domainEnglishFormat.kif 18888-18888 | |
| (termFormat ChineseTraditionalLanguage defaultNetwork "預設網絡") | domainEnglishFormat.kif 18889-18889 | |
| (termFormat ChineseLanguage defaultNetwork "预设网络") | domainEnglishFormat.kif 18890-18890 |
|