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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Museums
Museums(museums)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11387-11389
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6713-6713
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7369-7369
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7370-7370
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7371-7371
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7372-7372
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7373-7373
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7374-7374
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7375-7375
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7376-7376
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7377-7377
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7378-7378
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7379-7379
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7380-7380
No TPTP formula. May not be expressible in strict first order. naics.kif 11385-11385 Museums is a subattribute of museums historical sites and similar institutions

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39351-39351
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39350-39350
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39349-39349


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