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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MacOSXPublicBeta

 Sigma KEE - MacOSXPublicBeta
MacOSXPublicBeta(Kodiak)

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 258-258
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 257-257
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 256-256
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 259-260
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 274-274 Kodiak is a subclass of Apple mac oSX

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 272-272
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 268-268
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 264-264
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 271-271
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 267-267
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 263-263
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 270-270
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 266-266
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 262-262
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 273-273
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 269-269
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 265-265


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