TreeView Knowledge Base Browser - approximateDiameter

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

approximateDiameter

Sigma KEE - approximateDiameter

approximateDiameter

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17936-17936
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17934-17935
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17941-17941	域 approximateDiameter, 1 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17942-17942	域 approximateDiameter, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17944-17944	例 approximateDiameter and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17945-17945	例 approximateDiameter and SingleValuedRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17946-17946	例 approximateDiameter and TotalValuedRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2818-2818
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2817-2817
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2816-2816
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17939-17939
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17938-17938

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7524-7530	例 SelfConnectedObject and LiquidDrop SelfConnectedObject 的 approximate diameter 是測量 RealNumber and Micrometer 少於 500.0 and RealNumber 例 SelfConnectedObject and Droplet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7440-7451	例 Object and ParticulateMatter 部分 SelfConnectedObject and Object SelfConnectedObject 的 approximate diameter 是測量 RealNumber and Micrometer 比較多 10.0 and RealNumber 比較多 RealNumber and 2.5 Object0 例 Object0 and CoarseParticulateMatter 部分 Object0 and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7469-7479	例 Object and ParticulateMatter 部分 SelfConnectedObject and Object SelfConnectedObject 的 approximate diameter 是測量 RealNumber and Micrometer 大於或等於 RealNumber and 2.5 Object5 例 Object5 and FineParticulateMatter 部分 Object5 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17948-17959	SelfConnectedObject 的 approximate diameter 是測量 RealNumber and RealNumberM Object 的 radius 是測量部 RealNumber and 2.0 and RealNumberM 測量 Object and 測量 RealNumber and UnitOfMeasure 測量 SelfConnectedObject and 測量 RealNumber and UnitOfMeasure 例 RealNumberM and UnitOfLength 例 UnitOfMeasure and UnitOfVolume 等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7311-7316	例 SelfConnectedObject and Boulder SelfConnectedObject 的 approximate diameter 是測量 RealNumber and 毫米比較多 RealNumber and 256.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7288-7295	例 SelfConnectedObject and Cobble SelfConnectedObject 的 approximate diameter 是測量 RealNumber and 毫米比較多 256.0 and RealNumber 比較多 RealNumber and 64.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7265-7272	例 SelfConnectedObject and Pebble SelfConnectedObject 的 approximate diameter 是測量 RealNumber and 毫米比較多 64.0 and RealNumber 比較多 RealNumber and 2.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17972-17980	部分 SelfConnectedObject and Object 例 Object and 粘土 SelfConnectedObject 的 approximate diameter 是測量 RealNumber and 毫米比較多 0.004 and RealNumber 比較多 RealNumber and 0.001
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4375-4383	部分 SelfConnectedObject and Object 例 Object and 砂 SelfConnectedObject 的 approximate diameter 是測量 RealNumber and 毫米比較多 2.0 and RealNumber 比較多 RealNumber and 0.062
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4420-4428	部分 SelfConnectedObject and Object 例 Object and 淤泥 SelfConnectedObject 的 approximate diameter 是測量 RealNumber and 毫米比較多 0.062 and RealNumber 比較多 RealNumber and 0.004

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1083-1088	例 SelfConnectedObject and Grain grainSize SelfConnectedObject and RealNumber SelfConnectedObject 的 approximate diameter 是測量 RealNumber and UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31179-31184	memberMeasure Set, MeasurementAttribute and LengthMeasure 例 Set and Set 元件 SelfConnectedObject and Set SelfConnectedObject 的 approximate diameter 是 LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31186-31191	memberMeasure Class, ApproximateDiameter and LengthMeasure 例 Class and Class 例 SelfConnectedObject and Class SelfConnectedObject 的 approximate diameter 是 LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2803-2815	例 Transfer and Drizzling Collection SelfConnectedObject and RealNumber 例 Collection and Collection 例 SelfConnectedObject and Water 例 SelfConnectedObject and LiquidDrop 會員 SelfConnectedObject and Collection objectTransferred Transfer and Collection SelfConnectedObject 的 approximate diameter 是測量 RealNumber and 毫米模態屬性小於或等於 RealNumber and 0.5 and 容易
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7413-7422	例 Object and ParticulateMatter SelfConnectedObject Object and RealNumber 例 Object and 大氣地區位於 Object and Object 部分 SelfConnectedObject and Object SelfConnectedObject 的 approximate diameter 是測量 RealNumber and Micrometer 比較多 1000.0 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21559-21568	例 Object and 膠體 SelfConnectedObject RealNumber 部分 SelfConnectedObject and Object attribute SelfConnectedObject and Insoluble SelfConnectedObject 的 approximate diameter 是測量 RealNumber and Nanometer 比較多 977.0 and RealNumber 比較多 RealNumber and 0.95

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