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

Formal Language: 



KB Term:  Term intersection
English Word: 

  geometricPart

Sigma KEE - geometricPart
geometricPart

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3984-3985
No TPTP formula. May not be expressible in strict first order. Merge.kif 17822-17823
No TPTP formula. May not be expressible in strict first order. Merge.kif 17820-17820 The number 1 argument of geometric part is an instance of geometric figure
No TPTP formula. May not be expressible in strict first order. Merge.kif 17821-17821 The number 2 argument of geometric part is an instance of geometric figure
No TPTP formula. May not be expressible in strict first order. Merge.kif 17818-17818 geometric part is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 17819-17819 geometric part is an instance of partial ordering relation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1105-1105
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1104-1104
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1103-1103
No TPTP formula. May not be expressible in strict first order. Merge.kif 17832-17832 angle of figure is a subrelation of geometric part
No TPTP formula. May not be expressible in strict first order. Merge.kif 17825-17825 point of figure is a subrelation of geometric part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4978-4978 side of figure is a subrelation of geometric part
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25824-25824
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25823-25823
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25822-25822

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


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

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


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


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