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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - sphereRadius
sphereRadius

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13445-13446
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13443-13443 sphereRadius 的 1 数量 是 客体instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13444-13444 sphereRadius 的 2 数量 是 长度测量instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13442-13442 sphereRadius二元谓语instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4590-4590
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4589-4589
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4588-4588
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13447-13447

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


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

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


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


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