(subclass RealEstate Region) | FinancialOntology.kif 1354-1354 | RealEstate は 地域 の subclass では %n |
(subclass RealEstate FinancialAsset) | FinancialOntology.kif 1355-1355 | RealEstate は FinancialAsset の subclass では %n |
(subclass RealEstate CorpuscularObject) | FinancialOntology.kif 1356-1356 | RealEstate は 微粒子オブジェクト の subclass では %n |