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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 " real_estate.png") pictureList.kif 688-688
(subclass RealEstate CorpuscularObject) FinancialOntology.kif 1356-1356 RealEstate微粒子オブジェクトsubclass では %n
(subclass RealEstate FinancialAsset) FinancialOntology.kif 1355-1355 RealEstateFinancialAssetsubclass では %n
(subclass RealEstate Region) FinancialOntology.kif 1354-1354 RealEstate地域subclass では %n

appearance as argument number 2

(termFormat ChineseLanguage RealEstate "房地产") domainEnglishFormat.kif 48872-48872
(termFormat ChineseTraditionalLanguage RealEstate "房地產") domainEnglishFormat.kif 48871-48871
(termFormat EnglishLanguage RealEstate "real estate") domainEnglishFormat.kif 48870-48870


    (instance ?Estate RealEstate)
        (instance ?Estate StationaryArtifact)
        (instance ?Estate LandArea)
        (exists (?Artifact ?Area)
                (instance ?Artifact StationaryArtifact)
                (instance ?Area LandArea)
                (equal ?Estate
                    (MereologicalSumFn ?Artifact ?Area))))))
FinancialOntology.kif 1359-1368


        (instance ?T Trespassing)
        (patient ?T ?P))
    (instance ?P RealEstate))
FinancialOntology.kif 1370-1374
    (instance ?Loan Mortgage)
    (exists (?Estate)
            (instance ?Estate RealEstate)
            (loanForPurchase ?Loan ?Estate))))
FinancialOntology.kif 1380-1385

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