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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 17566-17567
No TPTP formula. May not be expressible in strict first order. Merge.kif 17564-17564 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 17565-17565 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 17562-17562 geometric part is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 17563-17563 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 17576-17576 angle of figure is a subrelation of geometric part
No TPTP formula. May not be expressible in strict first order. Merge.kif 17569-17569 point of figure is a subrelation of geometric part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4704-4704 side of figure is a subrelation of geometric part
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25815-25815
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25814-25814
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25813-25813

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


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


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