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 13481-13482
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13480-13480	域 defaultMaximumSphereRadius, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13479-13479	域子類 defaultMaximumSphereRadius, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13478-13478	例 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 13483-13483

antecedent

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

Mid-level-ontology.kif 13485-13496

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 1053-1066	例 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 3079-3085	例 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