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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AppleComputer
AppleComputer(Apple Computer)

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1971-1971 Apple Computer created Apple app store
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 103-103 The maker of Apple Computer is Apple
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 101-101 Apple Computer is a subclass of computer

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 745-745 IMac is a subclass of Apple Computer
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 613-613 IPad is a subclass of Apple Computer
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 628-628 IPhone is a subclass of Apple Computer
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 816-816 IPod is a subclass of Apple Computer
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 801-801 Macbook is a subclass of Apple Computer
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 786-786 Macbook Air is a subclass of Apple Computer
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 757-757 Mac Pro is a subclass of Apple Computer
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 105-105 Mac is a subclass of Apple Computer
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64455-64455

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2528-2530
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2093-2095


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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