TreeView Knowledge Base Browser - PerimeterArea

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PerimeterArea

PerimeterArea(perimeter area)

border, margin, perimeter

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 763-766
No TPTP formula. May not be expressible in strict first order.	Geography.kif 762-762	Perimeter area is a subclass of region

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 782-782	The range of maritime claims territorial sea is an instance of perimeter area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 770-770	The values returned by perimeter area are subclasses of perimeter area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 820-820	Uniform perimeter area is a subclass of perimeter area
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45174-45174
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45173-45173
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45172-45172

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