| 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 | The number 1 argument of default network is an instance of hardware system |
| (domain defaultNetwork 2 ComputerNetwork) | QoSontology.kif 1004-1004 | The number 2 argument of default network is an instance of computer network |
| (instance defaultNetwork BinaryPredicate) | QoSontology.kif 1002-1002 | 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 18904-18904 | |
| (termFormat ChineseTraditionalLanguage defaultNetwork "預設網絡") | domainEnglishFormat.kif 18903-18903 | |
| (termFormat EnglishLanguage defaultNetwork "default network") | domainEnglishFormat.kif 18902-18902 |
|
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