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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RealEstateIndustry

Sigma KEE - RealEstateIndustry
RealEstateIndustry(real estate industry)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9602-9604
No TPTP formula. May not be expressible in strict first order. naics.kif 9600-9600 Real estate industry is a subattribute of real estate and rental and leasing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9647-9647 Activities related to real estate is a subattribute of real estate industry
No TPTP formula. May not be expressible in strict first order. naics.kif 9606-9606 Lessors of real estate is a subattribute of real estate industry
No TPTP formula. May not be expressible in strict first order. naics.kif 9641-9641 Offices of real estate agents and brokers is a subattribute of real estate industry
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65389-65389


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