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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Jailbreaking

Sigma KEE - Jailbreaking
Jailbreaking(cracking)

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3442-3449
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3432-3440
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3421-3430
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3451-3458
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3419-3419 Cracking is a subclass of computer process

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3468-3468
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3473-3473
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3462-3462
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3467-3467
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3472-3472
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3461-3461
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3471-3471
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3460-3460
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3464-3464
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3466-3466
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3474-3474
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3463-3463
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3469-3469

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3476-3486


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