TreeView Knowledge Base Browser

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))))))

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

(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

(termFormat EnglishLanguage RealEstate "real estate")	domainEnglishFormat.kif 48867-48867
(termFormat ChineseTraditionalLanguage RealEstate "房地產")	domainEnglishFormat.kif 48868-48868
(termFormat ChineseLanguage RealEstate "房地产")	domainEnglishFormat.kif 48869-48869