TreeView Knowledge Base Browser - landAreaOnly

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - landAreaOnly

landAreaOnly

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 541-544
No TPTP formula. May not be expressible in strict first order.	Geography.kif 538-538	The number 1 argument of land area only is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 539-539	The number 2 argument of land area only is an instance of area measure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 537-537	land area only is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1431-1431
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1430-1430
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1429-1429
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33205-33205
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33204-33204
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33203-33203

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 555-560	If an unit of measure is an instance of unit of area and a real number the unit of measure(s) is a land area only of a geographic area and another real number the unit of measure(s) is a water area only of the geographic area, then (the real number and the other real number) the unit of measure(s) is a total area of the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 579-585	If an area measure is a land area only of a geographic area, then there exists a region such that the region is an instance of surface ground area and the region is a part of the geographic area and the area measure is a total area of the region

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