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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HomesForTheElderly
HomesForTheElderly(homes for the elderly)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11166-11168
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11173-11173
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10054-10054
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11172-11172
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11174-11174
No TPTP formula. May not be expressible in strict first order. naics.kif 11164-11164 Homes for the elderly is a subattribute of community care facilities for the elderly

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28497-28497
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28496-28496
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28495-28495


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