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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RealEstate

Sigma KEE - RealEstate
RealEstate

appearance as argument number 1
-------------------------


(documentation RealEstate EnglishLanguage "Land, including all the natural resources and permanent buildings on it.") FinancialOntology.kif 1311-1311
(externalImage RealEstate "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ money/ real_estate.png") pictureList.kif 688-688
(subclass RealEstate CorpuscularObject) FinancialOntology.kif 1310-1310
(subclass RealEstate FinancialAsset) FinancialOntology.kif 1309-1309
(subclass RealEstate Region) FinancialOntology.kif 1308-1308

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


(termFormat ChineseLanguage RealEstate "房地产") domainEnglishFormat.kif 48855-48855
(termFormat ChineseTraditionalLanguage RealEstate "房地產") domainEnglishFormat.kif 48854-48854
(termFormat EnglishLanguage RealEstate "real estate") domainEnglishFormat.kif 48853-48853

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 1313-1322

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


(=>
    (and
        (instance ?T Trespassing)
        (patient ?T ?P))
    (instance ?P RealEstate))
FinancialOntology.kif 1324-1328
(=>
    (instance ?Loan Mortgage)
    (exists (?Estate)
        (and
            (instance ?Estate RealEstate)
            (loanForPurchase ?Loan ?Estate))))
FinancialOntology.kif 1334-1339


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

Show without tree


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