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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MacOSXMountainLion
MacOSXMountainLion(Mountain Lion)

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 447-447
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 446-446
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 445-445
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 448-448
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 464-464 Mountain Lion is a subclass of Apple mac oSX

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 457-457
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 462-462
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 452-452
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 456-456
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 461-461
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 451-451
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 455-455
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 460-460
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 450-450
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 458-458
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 463-463
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 453-453


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