totalArea - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - totalArea

totalArea

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31229-31230
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31226-31226	O argumento numero 1 de totalArea e' uma instancia de Regiao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31227-31227	O argumento numero 2 de totalArea e' uma instancia de Medida de Area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31225-31225	totalArea e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2475-2475
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2474-2474
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2473-2473
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58528-58528
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58527-58527
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58526-58526

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2080-2090	arableLandArea Area Geografica and Numero Real Unidade de Medida(s) Numero Real e' maior ou igual a 0.0 totalArea Area Geografica and Numero Real Unidade de Medida(s) Numero Real e' uma instancia de Medida de Area Numero Real e' igual a Numero Real + Numero Real arableLandArea Area Geografica and Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2092-2106	arableLandArea Area Geografica and Numero Real Unidade de Medida(s) Numero Real e' maior ou igual a 0.0 totalArea Area Geografica and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfArea Area Geografica Area Geografica e' uma instancia de ArableLand geographicSubregion Area Geografica and Area Geografica a medida de Area Geografica e' Numero Real + Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2215-2225	irrigatedLandArea Area Geografica and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfArea totalArea Area Geografica and Numero Real Unidade de Medida(s) Numero Real e' igual a Numero Real + Numero Real irrigatedLandArea Area Geografica and Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2227-2237	irrigatedLandArea Area Geografica and Numero Real Unidade de Medida(s) totalArea Area Geografica and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfArea Numero Real e' igual a Numero Real + Numero Real irrigatedLandArea Area Geografica and Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2165-2176	otherLandUseArea Area Geografica and Numero Real Unidade de Medida(s) Numero Real e' maior ou igual a 0.0 totalArea Area Geografica and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfArea Numero Real e' igual a Numero Real + Numero Real otherLandUseArea Area Geografica and Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2178-2196	otherLandUseArea Area Geografica and Numero Real Unidade de Medida(s) Numero Real e' maior ou igual a 0.0 totalArea Area Geografica and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfArea Area Geografica Area Geografica e' uma instancia de Area terrestre Area Geografica e' uma instancia de ArableLand Area Geografica e' uma instancia de PermanentCropLand geographicSubregion Area Geografica and Area Geografica a medida de Area Geografica e' Numero Real + Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2125-2136	permanentCropLandArea Area Geografica and Numero Real Unidade de Medida(s) Numero Real e' maior ou igual a 0.0 totalArea Area Geografica and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfArea Numero Real e' igual a Numero Real + Numero Real permanentCropLandArea Area Geografica and Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2138-2152	permanentCropLandArea Area Geografica and Numero Real Unidade de Medida(s) Numero Real e' maior ou igual a 0.0 totalArea Area Geografica and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfArea Area Geografica Area Geografica e' uma instancia de PermanentCropLand geographicSubregion Area Geografica and Area Geografica a medida de Area Geografica e' Numero Real + Numero Real Unidade de Medida(s)

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 555-560	Unidade de Medida e' uma instancia de UnitOfArea landAreaOnly Area Geografica and Numero Real Unidade de Medida(s) waterAreaOnly Area Geografica and Numero Real Unidade de Medida(s) totalArea Area Geografica and ( Numero Real + Numero Real) Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31240-31245	memberMeasure Conjunto, MeasurementAttribute and Medida de Area Conjunto e' uma instancia de Conjunto Regiao e' um elemento de Conjunto totalArea Regiao and Medida de Area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31247-31252	memberMeasure Classe, Area and Medida de Area Classe e' uma instancia de Classe Regiao e' uma instancia de Classe totalArea Regiao and Medida de Area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 579-585	landAreaOnly Area Geografica and Medida de Area Regiao Regiao e' uma instancia de SurfaceGroundArea Regiao e' uma &parte de Area Geografica totalArea Regiao and Medida de Area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 603-609	waterAreaOnly Area Geografica and Medida de Area Regiao Regiao e' uma instancia de WaterOnlyArea Regiao e' uma &parte de Area Geografica totalArea Regiao and Medida de Area

appearance as argument number 0

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

Geography.kif 4659-4660

totalArea SouthernOcean and 20327000.0 SquareKilometer(s)

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