|
|
  RealEstateAndRentalAndLeasing
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9596-9598 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9594-9594 | Real estate and rental and leasing is an instance of industry attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9849-9849 | Lessors of nonfinancial intangible assets except copyrighted works is a subattribute of real estate and rental and leasing |
| 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 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9688-9688 | Rental and leasing services is a subattribute of real estate and rental and leasing |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48878-48878 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48877-48877 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48876-48876 |
|
|
|