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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Circle
Circle(circle)
arc, circle, circlet, disc, disk, limb, saucer, spiral

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2647-2648
No TPTP formula. May not be expressible in strict first order. Merge.kif 7530-7532
No TPTP formula. May not be expressible in strict first order. pictureList.kif 67-67
No TPTP formula. May not be expressible in strict first order. pictureList.kif 346-346
No TPTP formula. May not be expressible in strict first order. Merge.kif 7528-7528 Circle is a subclass of oval

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14865-14865
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14864-14864
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14863-14863

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 7549-7549 The number 1 argument of center of circle is an instance of circle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4675-4675 The number 1 argument of diameter is an instance of circle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4689-4689 The number 1 argument of radius is an instance of circle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30532-30532 The number 1 argument of circumfrence is an instance of circle
No TPTP formula. May not be expressible in strict first order. Merge.kif 7573-7573 The number 1 argument of diameter is an instance of circle
No TPTP formula. May not be expressible in strict first order. Merge.kif 7555-7555 The number 1 argument of radius is an instance of circle

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1538-1544
No TPTP formula. May not be expressible in strict first order. Merge.kif 7539-7542
No TPTP formula. May not be expressible in strict first order. Merge.kif 7534-7537
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24993-24995

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 891-899


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