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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AppleIOS
AppleIOS(苹果作业系统)

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 91-91 IPhone 应该可以 ComputerProcess 苹果作业系统
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 84-84 苹果作业系统PhoneOSsubclass

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 111-111 IOS 1苹果作业系统subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 185-185 IOS 10苹果作业系统subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 191-191 IOS 11苹果作业系统subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 197-197 IOS 12苹果作业系统subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 203-203 IOS 13苹果作业系统subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 132-132 IOS 2苹果作业系统subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 138-138 IOS 3苹果作业系统subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 144-144 IOS 4苹果作业系统subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 155-155 IOS 5苹果作业系统subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 161-161 IOS 6苹果作业系统subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 167-167 IOS 7苹果作业系统subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 173-173 IOS 8苹果作业系统subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 179-179 IOS 9苹果作业系统subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 87-87
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 86-86
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 85-85
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 88-88

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 93-97


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