TreeView Knowledge Base Browser - UniformPerimeterArea

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

UniformPerimeterArea

Sigma KEE - UniformPerimeterArea

UniformPerimeterArea(均勻的周邊區域)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 822-823
No TPTP formula. May not be expressible in strict first order.	Geography.kif 820-820	子類均勻的周邊區域 and 周邊區域

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59954-59954
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59953-59953
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59952-59952

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 837-850	例 Region and 均勻的周邊區域部分 Object and Region 的 inner 邊界部分 Object and Region 的 outer 邊界距離 Object, Object and LengthMeasure 部分 Object and Region 的 inner 邊界部分 Object and Region 的 outer 邊界距離 Object, Object and LengthMeasure 等於 LengthMeasure and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 863-872	方位 Object, Region and 外例 Object and Region 的 perimeter 地區例 Object and 均勻的周邊區域寬度 Object and 測量 RealNumber and UnitOfMeasure 距離 Object, Region and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure 比較多減法 RealNumber and RealNumber and 0.0 位於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 852-861	方位 Object, Region and 外例 Object and Region 的 perimeter 地區例 Object and 均勻的周邊區域寬度 Object and 測量 RealNumber and UnitOfMeasure 距離 Object, Region and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure 小於或等於減法 RealNumber and RealNumber and 0.0 位於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 825-828	例 Region and 均勻的周邊區域 LengthMeasure 距離 Region 的 inner 邊界, Region 的 outer 邊界 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 830-835	例 Physical and 均勻的周邊區域 LengthMeasure 例 LengthMeasure and LengthMeasure 寬度 Physical and LengthMeasure

consequent

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

Geography.kif 791-793

例 Region and GeopoliticalArea
例 maritime 宣稱 1% 的海洋領土 and 均勻的周邊區域

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