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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Circle
Circle

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 7639-7641
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1364-1365
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. pictureList.kif 67-67
No TPTP formula. May not be expressible in strict first order. Merge.kif 7637-7637 Circle est un sous-attribut de Oval

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25641-25641 DiskShaped est un sous-attribut de Circle
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14862-14862
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14861-14861
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14860-14860

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1541-1549
No TPTP formula. May not be expressible in strict first order. Merge.kif 7650-7655
No TPTP formula. May not be expressible in strict first order. Merge.kif 7643-7648

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31177-31179
No TPTP formula. May not be expressible in strict first order. Merge.kif 7708-7710
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4943-4946
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4962-4965
No TPTP formula. May not be expressible in strict first order. Merge.kif 7665-7668
No TPTP formula. May not be expressible in strict first order. Sports.kif 964-973
No TPTP formula. May not be expressible in strict first order. Merge.kif 7687-7689


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