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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ServicesForTheElderlyAndPersonsWithDisabilities

Sigma KEE - ServicesForTheElderlyAndPersonsWithDisabilities
ServicesForTheElderlyAndPersonsWithDisabilities

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11197-11201
No TPTP formula. May not be expressible in strict first order. naics.kif 11195-11195 ServicesForTheElderlyAndPersonsWithDisabilities e' um sub-atributo de IndividualAndFamilyServices

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52293-52293
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52292-52292
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52291-52291


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