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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CenterOfCircleFn

Sigma KEE - CenterOfCircleFn
CenterOfCircleFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2649-2650
No TPTP formula. May not be expressible in strict first order. Merge.kif 7634-7635
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1366-1367
No TPTP formula. May not be expressible in strict first order. Merge.kif 7639-7639 The number 1 argument of center of circle is an instance of circle
No TPTP formula. May not be expressible in strict first order. Merge.kif 7638-7638 Center of circle is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7637-7637 Center of circle is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 7640-7640 The range of center of circle is an instance of geometric point

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 404-404
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 403-403
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 402-402
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13758-13758
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13757-13757
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13756-13756

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


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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7629-7632


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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