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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Sphere
Sphere(sphere)
ball, crystal_ball, globe, orb, sphere, spherical, spherule

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4708-4710
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2000-2000
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4707-4707 Sphere is a subclass of three dimensional figure

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54591-54591
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54590-54590
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54589-54589

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4712-4720
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12952-12962
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12933-12942
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12915-12923

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25943-25950
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16450-16452
No TPTP formula. May not be expressible in strict first order. Cars.kif 1413-1415
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 367-373
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25001-25003


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