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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AppleMacBookPro

 Sigma KEE - AppleMacBookPro
AppleMacBookPro(Macbook Pro)

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 776-776
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 775-775
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 773-774
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 777-778
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 771-771 Macbook Pro is a subclass of Apple Computer
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 772-772 Macbook Pro is a subclass of laptop

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 784-784 Macbook Pro is capable of ComputerProcessing Apple mac oSX
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 782-782
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 781-781
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 780-780
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 783-783


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