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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AppleMacOS

 Sigma KEE - AppleMacOS
AppleMacOS

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 209-209 AppleMacOS e' uma sub-classe de OperatingSystem

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 210-210 AppleMacOSSystem1 e' uma sub-classe de AppleMacOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 211-211 AppleMacOSSystem2 e' uma sub-classe de AppleMacOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 212-212 AppleMacOSSystem3 e' uma sub-classe de AppleMacOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 213-213 AppleMacOSSystem4 e' uma sub-classe de AppleMacOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 215-215 AppleMacOSSystem5 e' uma sub-classe de AppleMacOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 222-222 AppleMacOSSystem6 e' uma sub-classe de AppleMacOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 228-228 AppleMacOSSystem7 e' uma sub-classe de AppleMacOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 238-238 AppleMacOSSystem8 e' uma sub-classe de AppleMacOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 239-239 AppleMacOSSystem9 e' uma sub-classe de AppleMacOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 253-253 AppleMacOSX e' uma sub-classe de AppleMacOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 250-250
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 249-249
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 248-248
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 251-251


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