TreeView Knowledge Base Browser - AppleComputerCorporation

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	If a physical is an instance of GeniusBar, then the physical has the purpose there exist an entity and another entity such that the entity employs Apple and the other entity is an instance of customer support and the entity is an agent of the other entity and the other entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 88-90	If a class is a subclass of IOS, then Apple created the class

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