TreeView Knowledge Base Browser - RealEstate

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

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1357-1357
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 688-688
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1356-1356	Real estate is a subclass of corpuscular object
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1355-1355	Real estate is a subclass of financial asset
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1354-1354	Real estate is a subclass of region

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48872-48872
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48871-48871
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48870-48870

antecedent

No TPTP formula. May not be expressible in strict first order.

FinancialOntology.kif 1359-1368

If an object is an instance of real estate,
then the object is an instance of stationary artifact or the object is an instance of land area or there exist another object and a third object such that the other object is an instance of stationary artifact and the third object is an instance of land area and the object is equal to the union of the parts of the other object and the third object

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1370-1374	If a process is an instance of trespassing and an entity is a patient of the process, then the entity is an instance of real estate
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1380-1385	If a loan is an instance of mortgage, then there exists an object such that the object is an instance of real estate and the object is a loan for purchase of the loan

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