| 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 1357-1357 | |
| (externalImage RealEstate "http://articulatesoftware.com/SUMOpictures/money/ real_estate.png") | pictureList.kif 688-688 | |
| (subclass RealEstate CorpuscularObject) | FinancialOntology.kif 1356-1356 | Real estate is a subclass of corpuscular object |
| (subclass RealEstate FinancialAsset) | FinancialOntology.kif 1355-1355 | Real estate is a subclass of financial asset |
| (subclass RealEstate Region) | FinancialOntology.kif 1354-1354 | Real estate is a subclass of region |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage RealEstate "房地产") | domainEnglishFormat.kif 48907-48907 | |
| (termFormat ChineseTraditionalLanguage RealEstate "房地產") | domainEnglishFormat.kif 48906-48906 | |
| (termFormat EnglishLanguage RealEstate "real estate") | domainEnglishFormat.kif 48905-48905 |
| 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 1359-1368 |
|
| consequent |
|
|
| (=> (and (instance ?T Trespassing) (patient ?T ?P)) (instance ?P RealEstate)) |
FinancialOntology.kif 1370-1374 |
|
| (=> (instance ?Loan Mortgage) (exists (?Estate) (and (instance ?Estate RealEstate) (loanForPurchase ?Loan ?Estate)))) |
FinancialOntology.kif 1380-1385 |
|
|
|
|