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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OtherLegalServices

 Sigma KEE - OtherLegalServices
OtherLegalServices

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9882-9884
No TPTP formula. May not be expressible in strict first order. naics.kif 9880-9880 OtherLegalServices e' um sub-atributo de LegalServices

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9893-9893 AllOtherLegalServices e' um sub-atributo de OtherLegalServices
No TPTP formula. May not be expressible in strict first order. naics.kif 9886-9886 TitleAbstractAndSettlementOffices e' um sub-atributo de OtherLegalServices
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43178-43178
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43177-43177
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43176-43176


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