| RealEstate(real estate)
| | acres, commonage, dead_hand, demesne, estate, immovable, land, landed_estate, landholding, lease, leasehold, letting, mortmain, public_property, real_estate, real_property, realty, rental, shareholding |
| appearance as argument number 1 |
|
|
| (documentation RealEstate EnglishLanguage "Land, including all the natural resources and permanent buildings on it.") | FinancialOntology.kif 1371-1371 | |
| (externalImage RealEstate "http://articulatesoftware.com/SUMOpictures/money/ real_estate.png") | pictureList.kif 688-688 | |
| (subclass RealEstate CorpuscularObject) | FinancialOntology.kif 1370-1370 | Real estate is a subclass of corpuscular object |
| (subclass RealEstate FinancialAsset) | FinancialOntology.kif 1369-1369 | Real estate is a subclass of financial asset |
| (subclass RealEstate Region) | FinancialOntology.kif 1368-1368 | Real estate is a subclass of region |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage RealEstate "房地产") | domainEnglishFormat.kif 48905-48905 | |
| (termFormat ChineseTraditionalLanguage RealEstate "房地產") | domainEnglishFormat.kif 48904-48904 | |
| (termFormat EnglishLanguage RealEstate "real estate") | domainEnglishFormat.kif 48903-48903 |
| antecedent |
|
|
| (=> (instance ?Estate RealEstate) (or (instance ?Estate StationaryArtifact) (instance ?Estate LandArea) (exists (?Artifact ?Area) (and (instance ?Artifact StationaryArtifact) (instance ?Area LandArea) (equal ?Estate (MereologicalSumFn ?Artifact ?Area)))))) |
FinancialOntology.kif 1373-1382 |
|
| consequent |
|
|
| (=> (and (instance ?T Trespassing) (patient ?T ?P)) (instance ?P RealEstate)) |
FinancialOntology.kif 1384-1388 |
|
| (=> (instance ?Loan Mortgage) (exists (?Estate) (and (instance ?Estate RealEstate) (loanForPurchase ?Loan ?Estate)))) |
FinancialOntology.kif 1394-1399 |
|
|
|
|