|
|
   RealEstate
|
|
|
| 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 | |
| (subclass RealEstate FinancialAsset) | FinancialOntology.kif 1355-1355 | |
| (subclass RealEstate Region) | FinancialOntology.kif 1354-1354 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage RealEstate "房地产") | domainEnglishFormat.kif 48874-48874 | |
| (termFormat ChineseTraditionalLanguage RealEstate "房地產") | domainEnglishFormat.kif 48873-48873 | |
| (termFormat EnglishLanguage RealEstate "real estate") | domainEnglishFormat.kif 48872-48872 |
| 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 |
|
|
|
