TreeView Knowledge Base Browser - angleOfFigure

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - angleOfFigure

angleOfFigure

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3988-3989
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17836-17837
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17834-17834	The number 1 argument of angle of figure is an instance of two dimensional angle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17835-17835	The number 2 argument of angle of figure is an instance of geometric figure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17833-17833	angle of figure is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17832-17832	angle of figure is a subrelation of geometric part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2802-2802
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2801-2801
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2800-2800
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7482-7482
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7481-7481
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7480-7480

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4927-4932	If a geometric figure is an instance of rectangle, then there exists a two dimensional angle such that the two dimensional angle is the angle found in the geometric figure and the two dimensional angle is an instance of right angle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4906-4911	If a geometric figure is an instance of right triangle, then there exists a two dimensional angle such that the two dimensional angle is an instance of right angle and the two dimensional angle is the angle found in the geometric figure

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