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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AppleGameCenter

Sigma KEE - AppleGameCenter
AppleGameCenter(game center)

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3064-3068
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3058-3062
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3053-3056
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3070-3075
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3052-3052 Game center is an instance of app

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3079-3079
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3078-3078
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3077-3077
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3080-3080


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