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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AppleComputerCorporation

Sigma KEE - AppleComputerCorporation
AppleComputerCorporation(Apple)

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1826-1826 Apple created AirPlay
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1868-1868 Apple created AirPrint
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 924-924 Apple created FairPlay
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 957-957 Apple created Migration Assistant
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 943-943 Apple created Safari
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 950-950 Apple created Setup Assistant
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2401-2401 Apple created Cocoa Touch
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3259-3259 Apple created AppleBooks
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3272-3272 Apple created iBookstore
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 14-14 Apple is an instance of corporation

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3273-3273 IBookstore is managed by Apple
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3325-3325 ICloud is managed by Apple
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 96-96 The maker of AppleComputer is Apple
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 940-940 The maker of System Management Controller is Apple
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 21-21
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 20-20
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 19-19
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 22-22

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3052-3060
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 88-90


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