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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MacOSCatalina

 Sigma KEE - MacOSCatalina
MacOSCatalina(Catalina)

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 593-593
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 592-592
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 591-591
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 594-594
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 610-610 Catalina 是 AppleMacOSX 的 subclass

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 608-608
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 603-603
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 598-598
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 607-607
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 602-602
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 597-597
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 606-606
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 601-601
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 596-596
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 609-609
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 604-604
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 599-599


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