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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CydiaPackageManager

Sigma KEE - CydiaPackageManager
CydiaPackageManager

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2486-2488
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2482-2484
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2476-2481
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2490-2497
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2499-2499 CydiaPackageManager est une sous-classe de App

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2502-2502
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2501-2501
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2500-2500
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2503-2503


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