TreeView Knowledge Base Browser - OuterBoundaryFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

OuterBoundaryFn

Sigma KEE - OuterBoundaryFn

OuterBoundaryFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 811-813
No TPTP formula. May not be expressible in strict first order.	Geography.kif 808-808	The number 1 argument of outer boundary is an instance of region
No TPTP formula. May not be expressible in strict first order.	Geography.kif 807-807	Outer boundary is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Geography.kif 809-809	The range of outer boundary is an instance of region

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1879-1879
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1878-1878
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1877-1877
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43680-43680
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43679-43679
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43678-43678

antecedent

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

Geography.kif 837-850

If a region is an instance of uniform perimeter area and an object is a part of the inner boundary of the region and another object is a part of the outer boundary of the region and the distance between the object and the other object is a length measure and a third object is a part of the inner boundary of the region and a fourth object is a part of the outer boundary of the region and the distance between the third object and the fourth object is another length measure,
then the length measure is equal to the other length measure

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 825-828	If a region is an instance of uniform perimeter area, then there exists a length measure such that the distance between the inner boundary of the region and the outer boundary of the region is the length measure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 815-817	If a region is an instance of region, then the outer boundary of the region is a superficial part 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