TreeView Knowledge Base Browser - defaultMaximumSphereRadius

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

defaultMaximumSphereRadius

Sigma KEE - defaultMaximumSphereRadius

defaultMaximumSphereRadius

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13482-13483
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13481-13481	域 defaultMaximumSphereRadius, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13480-13480	域子類 defaultMaximumSphereRadius, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13479-13479	例 defaultMaximumSphereRadius and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3186-3186
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3185-3185
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3184-3184
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13484-13484

antecedent

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

Mid-level-ontology.kif 13486-13497

Object 的 maximum 預期半徑是測量 RealNumber and UnitOfMeasure 例 Object and Object attribute Object and 球
模態屬性 RealNumberADIUS Object 的 radius 是測量 RealNumberADIUS and UnitOfMeasure 比較多 RealNumberADIUS and RealNumber and 較不可能

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1057-1070	例 Entity and 下雨 Entity Entity and Class 例 Entity and Collection 例 Entity and Water 例 Entity and LiquidDrop 例 Entity, Class, 會員 Entity and Entity, objectTransferred Entity and Entity, Class 的 minimum 預期半徑是測量 0.1 and 毫米 and Class 的 maximum 預期半徑是測量 9.0 and 毫米
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3083-3089	例 Entity and Hailstone Object 例 Entity and Object Object 的 minimum 預期半徑是測量 0.5 and 厘米 Object 的 maximum 預期半徑是測量 15.0 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