| appearance as argument number 1 |
|
| (documentation hostStatus EnglishLanguage "(hostStatus ?Computer ?Status) means that ?Status describes the status of the Computer, such as HostDown, HostReady.") | QoSontology.kif 2119-2120 | |
| (domain hostStatus 1 Computer) | QoSontology.kif 2117-2117 | domain hostStatus, 1 and Computer |
| (domain hostStatus 2 ComputerStatus) | QoSontology.kif 2118-2118 | domain hostStatus, 2 and ComputerStatus |
| (instance hostStatus BinaryPredicate) | QoSontology.kif 2116-2116 | instance hostStatus and BinaryPredicate |
| (subrelation hostStatus attribute) | QoSontology.kif 2115-2115 | subrelation hostStatus and attribute |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage hostStatus "%1 的 status 是 %2 ") | domainEnglishFormat.kif 3675-3675 | |
| (format ChineseTraditionalLanguage hostStatus "%1 的 status 是 %2 ") | domainEnglishFormat.kif 3674-3674 | |
| (format EnglishLanguage hostStatus "the status of %1 is %2") | domainEnglishFormat.kif 3673-3673 | |
| (termFormat ChineseLanguage hostStatus "主持人身份") | domainEnglishFormat.kif 28594-28594 | |
| (termFormat ChineseTraditionalLanguage hostStatus "主持人身份") | domainEnglishFormat.kif 28593-28593 | |
| (termFormat EnglishLanguage hostStatus "host status") | domainEnglishFormat.kif 28592-28592 |
|
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