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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Booting

Sigma KEE - Booting
Booting(booting up)

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3176-3177
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3173-3174
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3169-3171
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3179-3181
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3158-3158 Booting up is an instance of computer status

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3161-3161
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3166-3166
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3160-3160
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3165-3165
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3164-3164
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3159-3159
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3162-3162
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3167-3167

appearance as argument number 4
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3183-3183 Computer status is disjointly decomposed into host ready, host down, and booting up

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3197-3211
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3185-3195


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