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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SoilErosionIssue

Sigma KEE - DrycleaningAndLaundryServices
DrycleaningAndLaundryServices

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11996-11998
No TPTP formula. May not be expressible in strict first order. naics.kif 11994-11994 DrycleaningAndLaundryServices e' um sub-atributo de PersonalAndLaundryServices

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


No TPTP formula. May not be expressible in strict first order. naics.kif 12000-12000 CoinOperatedLaundriesAndDrycleaners e' um sub-atributo de DrycleaningAndLaundryServices
No TPTP formula. May not be expressible in strict first order. naics.kif 12007-12007 DrycleaningAndLaundryServicesExceptCoinOperated e' um sub-atributo de DrycleaningAndLaundryServices
No TPTP formula. May not be expressible in strict first order. naics.kif 12014-12014 LinenAndUniformSupply e' um sub-atributo de DrycleaningAndLaundryServices
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20574-20574
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20573-20573
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20572-20572


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