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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HostReady

Sigma KEE - HostReady
HostReady

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2125-2126
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2124-2124 HostReady e' uma instancia de ComputerStatus

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3215-3215 ComputerStatus e' disjuntamente decomponivel em HostReady, HostDown, + Booting
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28665-28665
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28664-28664
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28663-28663

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3231-3245


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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