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 13462-13463
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13461-13461 O argumento numero 2 de defaultMinimumSphereRadius e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13460-13460 O argumento numero 1 de defaultMinimumSphereRadius e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13459-13459 defaultMinimumSphereRadius e' uma instancia de Predicado Binario

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 13464-13464

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


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

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1053-1066
No TPTP formula. May not be expressible in strict first order. Weather.kif 3079-3085


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