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


KB Term:  Term intersection
English Word: 

  AppleComputer

 Sigma KEE - AppleComputer
AppleComputer

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


s__creator(s__AppleComputer, s__AppleAppStore) ComputingBrands.kif 1971-1971 creator AppleComputer and AppleAppStore
s__manufacturer(s__AppleComputer, s__AppleComputerCorporation) ComputingBrands.kif 103-103 manufacturer AppleComputer and AppleComputerCorporation
s__subclass(s__AppleComputer, s__Computer) ComputingBrands.kif 101-101 AppleComputer is a subclass of Computer

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


s__subclass(s__AppleIMac, s__AppleComputer) ComputingBrands.kif 745-745 AppleIMac is a subclass of AppleComputer
s__subclass(s__AppleIPad, s__AppleComputer) ComputingBrands.kif 613-613 AppleIPad is a subclass of AppleComputer
s__subclass(s__AppleIPhone, s__AppleComputer) ComputingBrands.kif 628-628 AppleIPhone is a subclass of AppleComputer
s__subclass(s__AppleIPod, s__AppleComputer) ComputingBrands.kif 816-816 AppleIPod is a subclass of AppleComputer
s__subclass(s__AppleMacBook, s__AppleComputer) ComputingBrands.kif 801-801 AppleMacBook is a subclass of AppleComputer
s__subclass(s__AppleMacBookAir, s__AppleComputer) ComputingBrands.kif 786-786 AppleMacBookAir is a subclass of AppleComputer
s__subclass(s__AppleMacBookPro, s__AppleComputer) ComputingBrands.kif 771-771 AppleMacBookPro is a subclass of AppleComputer
s__subclass(s__AppleMacPro, s__AppleComputer) ComputingBrands.kif 757-757 AppleMacPro is a subclass of AppleComputer
s__subclass(s__AppleMacintoshComputer, s__AppleComputer) ComputingBrands.kif 105-105 AppleMacintoshComputer is a subclass of AppleComputer
s__termFormat(s__EnglishLanguage, s__AppleComputer, "Apple Computer") domainEnglishFormat.kif 64448-64448 AppleMacintoshComputer is a subclass of AppleComputer

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


! [V__C : $i] : ((s__attribute(V__C, s__DeviceFirmwareUpdateMode) => s__instance(V__C, s__AppleComputer))) ComputingBrands.kif 2528-2530
! [V__A : $i] : ((s__instance(V__A, s__AppleStore) => s__operator(s__AppleComputer, V__A))) ComputingBrands.kif 2093-2095


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