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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IndividualAndFamilyServices

Sigma KEE - IndividualAndFamilyServices
IndividualAndFamilyServices

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11184-11186
No TPTP formula. May not be expressible in strict first order. naics.kif 11182-11182 IndividualAndFamilyServices e' um sub-atributo de SocialAssistance

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11188-11188 ChildAndYouthServices e' um sub-atributo de IndividualAndFamilyServices
No TPTP formula. May not be expressible in strict first order. naics.kif 11203-11203 OtherIndividualAndFamilyServices e' um sub-atributo de IndividualAndFamilyServices
No TPTP formula. May not be expressible in strict first order. naics.kif 11195-11195 ServicesForTheElderlyAndPersonsWithDisabilities e' um sub-atributo de IndividualAndFamilyServices
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29659-29659
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29658-29658
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29657-29657


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