Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - hostStatus
hostStatus

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 2245-2246
(domain hostStatus 1 Computer) QoSontology.kif 2243-2243 hostStatus の数値 1 引数は Computerinstance では
(domain hostStatus 2 ComputerStatus) QoSontology.kif 2244-2244 hostStatus の数値 2 引数は ComputerStatusinstance では
(instance hostStatus BinaryPredicate) QoSontology.kif 2242-2242 hostStatus2進述語instance では
(subrelation hostStatus attribute) QoSontology.kif 2241-2241 hostStatusattributesubrelation では

appearance as argument number 2
-------------------------


(format ChineseLanguage hostStatus "%1 的 status 是 %2 ") domainEnglishFormat.kif 3672-3672
(format ChineseTraditionalLanguage hostStatus "%1 的 status 是 %2 ") domainEnglishFormat.kif 3671-3671
(format EnglishLanguage hostStatus "the status of %1 is %2") domainEnglishFormat.kif 3670-3670
(termFormat ChineseLanguage hostStatus "主持人身份") domainEnglishFormat.kif 28682-28682
(termFormat ChineseTraditionalLanguage hostStatus "主持人身份") domainEnglishFormat.kif 28681-28681
(termFormat EnglishLanguage hostStatus "host status") domainEnglishFormat.kif 28680-28680


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