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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CommunityHousingServices

 Sigma KEE - CommunityHousingServices
CommunityHousingServices

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11227-11229
No TPTP formula. May not be expressible in strict first order. naics.kif 11225-11225 CommunityHousingServices est un sous-attribut de CommunityFoodAndHousingAndEmergencyAndOtherReliefServices

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11238-11238 OtherCommunityHousingServices est un sous-attribut de CommunityHousingServices
No TPTP formula. May not be expressible in strict first order. naics.kif 11231-11231 TemporaryShelters est un sous-attribut de CommunityHousingServices
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16098-16098
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16097-16097
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16096-16096


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