Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 |
|
|
| (subclass RealEstate Region) | FinancialOntology.kif 1394-1394 | Real estate is a subclass of region |
| (subclass RealEstate FinancialAsset) | FinancialOntology.kif 1395-1395 | Real estate is a subclass of financial asset |
| (subclass RealEstate CorpuscularObject) | FinancialOntology.kif 1396-1396 | Real estate is a subclass of corpuscular object |
| (documentation RealEstate EnglishLanguage "Land, including all the natural resources and permanent buildings on it.") | FinancialOntology.kif 1397-1397 | Real estate is a subclass of corpuscular object |
| (externalImage RealEstate "http://articulatesoftware.com/SUMOpictures/money/ real_estate.png") | pictureList.kif 688-688 | Real estate is a subclass of corpuscular object |
| appearance as argument number 2 |
|
|
| 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 1399-1408 | If X is an instance of real estate, then At least one of the following holds: (1) X is an instance of stationary artifact (2) X is an instance of land area (3) there exist Y, Z such that Y is an instance of stationary artifact, Z is an instance of land area, equal X, the union of the parts of Y, and Z |
| consequent |
|
|
| (=> (and (instance ?T Trespassing) (patient ?T ?P)) (instance ?P RealEstate)) |
FinancialOntology.kif 1410-1414 | If X is an instance of trespassing and Y is a patient of X, then Y is an instance of real estate |
| (=> (instance ?Loan Mortgage) (exists (?Estate) (and (instance ?Estate RealEstate) (loanForPurchase ?Loan ?Estate)))) |
FinancialOntology.kif 1420-1425 | If X is an instance of mortgage, then there exists Y such that Y is an instance of real estate and Y is a loan for purchase of X |
|