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
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1971-1971 AppleComputer created 蘋果app 商店
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 103-103 manufacturer AppleComputer and 蘋果
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 101-101 子類 AppleComputer and 電腦

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 745-745 子類 iMac and AppleComputer
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 613-613 子類 iPad and AppleComputer
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 628-628 子類 iPhone and AppleComputer
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 816-816 子類 iPod and AppleComputer
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 801-801 子類 Macbook and AppleComputer
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 786-786 子類 Macbook Air and AppleComputer
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 771-771 子類 Macbook Pro and AppleComputer
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 757-757 子類 Mac Pro and AppleComputer
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 105-105 子類 麥金塔計算機 and AppleComputer
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 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