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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LessorsOfRealEstate

Sigma KEE - LessorsOfRealEstate
LessorsOfRealEstate(lessors of real estate)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9608-9610
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

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9627-9627 Lessors of miniwarehouses and self storage units is a subattribute of lessors of real estate
No TPTP formula. May not be expressible in strict first order. naics.kif 9619-9619 Lessors of nonresidential buildings except miniwarehouses is a subattribute of lessors of real estate
No TPTP formula. May not be expressible in strict first order. naics.kif 9634-9634 Lessors of other real estate property is a subattribute of lessors of real estate
No TPTP formula. May not be expressible in strict first order. naics.kif 9612-9612 Lessors of residential buildings and dwellings is a subattribute of lessors of real estate
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34133-34133
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34132-34132
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34131-34131


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