TreeView Knowledge Base Browser - arableLandArea

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - arableLandArea

arableLandArea

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2075-2078
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2072-2072	The number 1 argument of arable land area is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2073-2073	The number 2 argument of arable land area is an instance of constant quantity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2071-2071	arable land area is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 192-192
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 191-191
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 190-190
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8136-8136
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8135-8135
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8134-8134

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2080-2090	If a real number an unit of measure(s) is an arable land area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the other real number is an instance of area measure and a third real number is equal to the real number and the other real number, then the third real number the unit of measure(s) is an arable land area of the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2092-2106	If a real number an unit of measure(s) is an arable land area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of unit of area, then there exists another geographic area such that the other geographic area is an instance of arable land and the other geographic area is a geographic subregion of the geographic area and the measure of the other geographic area is the real number and the other real number the unit of measure(s)

consequent

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

Geography.kif 2080-2090

If a real number an unit of measure(s) is an arable land area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the other real number is an instance of area measure and a third real number is equal to the real number and the other real number,
then the third real number the unit of measure(s) is an arable land area of the geographic area

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