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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ServicesToBuildingsAndDwellings

Sigma KEE - ServicesToBuildingsAndDwellings
ServicesToBuildingsAndDwellings

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


No TPTP formula. May not be expressible in strict first order. naics.kif 10552-10554
No TPTP formula. May not be expressible in strict first order. naics.kif 10550-10550 ServicesToBuildingsAndDwellings est un sous-attribut de AdministrativeAndSupportServices

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


No TPTP formula. May not be expressible in strict first order. naics.kif 10576-10576 CarpetAndUpholsteryCleaningServices est un sous-attribut de ServicesToBuildingsAndDwellings
No TPTP formula. May not be expressible in strict first order. naics.kif 10556-10556 ExterminatingAndPestControlServices est un sous-attribut de ServicesToBuildingsAndDwellings
No TPTP formula. May not be expressible in strict first order. naics.kif 10563-10563 JanitorialServices est un sous-attribut de ServicesToBuildingsAndDwellings
No TPTP formula. May not be expressible in strict first order. naics.kif 10570-10570 LandscapingServices est un sous-attribut de ServicesToBuildingsAndDwellings
No TPTP formula. May not be expressible in strict first order. naics.kif 10583-10583 OtherServicesToBuildingsAndDwellings est un sous-attribut de ServicesToBuildingsAndDwellings
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52299-52299
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52298-52298
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52297-52297


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