geometricPart - Sigma Knowledge base Browser

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

If a geometric figure is an instance of polygon,
then
- if the geometric figure is a geometric part of an one dimensional figure,
- then the size of the geometric figure is the one dimensional figure or there exists another one dimensional figure such that the size of the geometric figure is the other one dimensional figure and the other one dimensional figure is a geometric part of the one dimensional figure

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