Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RealEstate
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 1298-1298
(externalImage RealEstate "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ money/ real_estate.png") pictureList.kif 688-688
(subclass RealEstate CorpuscularObject) FinancialOntology.kif 1297-1297 Real estate is a subclass of corpuscular object
(subclass RealEstate FinancialAsset) FinancialOntology.kif 1296-1296 Real estate is a subclass of financial asset
(subclass RealEstate Region) FinancialOntology.kif 1295-1295 Real estate is a subclass of region

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage RealEstate "房地产") domainEnglishFormat.kif 48800-48800
(termFormat ChineseTraditionalLanguage RealEstate "房地產") domainEnglishFormat.kif 48799-48799
(termFormat EnglishLanguage RealEstate "real estate") domainEnglishFormat.kif 48798-48798

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 1300-1309

consequent
-------------------------


(=>
    (and
        (instance ?T Trespassing)
        (patient ?T ?P))
    (instance ?P RealEstate))
FinancialOntology.kif 1311-1315
(=>
    (instance ?Loan Mortgage)
    (exists (?Estate)
        (and
            (instance ?Estate RealEstate)
            (loanForPurchase ?Loan ?Estate))))
FinancialOntology.kif 1321-1326


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners