Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - defaultMinimumSphereRadius
defaultMinimumSphereRadius

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13463-13464
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13462-13462 The number 2 argument of default minimum sphere radius is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13461-13461 The number 1 argument of default minimum sphere radius is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13460-13460 default minimum sphere radius is an instance of binary predicate

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3210-3210
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3209-3209
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3208-3208
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13465-13465

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13467-13477

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 1057-1070
No TPTP formula. May not be expressible in strict first order. Weather.kif 3083-3089


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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