| appearance as argument number 1 |
|
| (documentation defaultNetwork EnglishLanguage "(defaultNetwork ?SYSTEM ?NET) holds if ?NET is the default network of the HardwareSystem ?SYSTEM.") | QoSontology.kif 1005-1006 | |
| (domain defaultNetwork 1 HardwareSystem) | QoSontology.kif 1003-1003 | 预设网络 的 1 数量 是 硬件系统 的 instance |
| (domain defaultNetwork 2 ComputerNetwork) | QoSontology.kif 1004-1004 | 预设网络 的 2 数量 是 计算机网络 的 instance |
| (instance defaultNetwork BinaryPredicate) | QoSontology.kif 1002-1002 | 预设网络 是 二元谓语 的 instance |
| 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 18888-18888 | |
| (termFormat ChineseTraditionalLanguage defaultNetwork "預設網絡") | domainEnglishFormat.kif 18887-18887 | |
| (termFormat EnglishLanguage defaultNetwork "default network") | domainEnglishFormat.kif 18886-18886 |
|
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