RightAngle - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - RightAngle

RightAngle(right angle)

appearance as argument number 1

(angleOfFigure RightAngle Rectangle)	Mid-level-ontology.kif 4920-4920	Right angle is the angle found in rectangle
(documentation RightAngle EnglishLanguage "Any TwoDimensionalAngle that has the angularMeasure of 90 AngularDegrees.")	Mid-level-ontology.kif 4851-4852	Right angle is the angle found in rectangle
(externalImage RightAngle "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Right_angle.svg")	pictureList.kif 1958-1958	Right angle is the angle found in rectangle
(instance RightAngle PositionalAttribute)	Cars.kif 2232-2232	Right angle is an instance of positional attribute
(instance RightAngle TwoDimensionalAngle)	Mid-level-ontology.kif 4850-4850	Right angle is an instance of two dimensional angle

appearance as argument number 2

(termFormat ChineseLanguage RightAngle "直角")	domainEnglishFormat.kif 50052-50052
(termFormat ChineseTraditionalLanguage RightAngle "直角")	domainEnglishFormat.kif 50051-50051
(termFormat EnglishLanguage RightAngle "right angle")	domainEnglishFormat.kif 50050-50050

antecedent

(=>
(angularMeasure RightAngle ?N)
(equal ?N 90.0))

Mid-level-ontology.kif 4854-4856

If a real number is an angular measure of right angle,
then the real number is equal to 90.0

consequent

(=> (and (instance ?T Polygon) (equal ?T RightTriangle)) (exists (?A) (and (instance ?A TwoDimensionalAngle) (angleOfFigure ?A ?T) (equal ?A RightAngle))))	Mid-level-ontology.kif 4896-4904	If a geometric figure is an instance of polygon and the geometric figure is equal to right triangle, then there exists a two dimensional angle such that the two dimensional angle is an instance of two dimensional angle and the two dimensional angle is the angle found in the geometric figure and the two dimensional angle is equal to right angle
(=> (instance ?D Differential) (exists (?G1 ?G2) (and (instance ?G1 Gear) (instance ?G2 Gear) (part ?G1 ?D) (part ?G2 ?D) (orientation ?G1 ?G2 RightAngle))))	Cars.kif 2240-2248	If an object is an instance of differential, then there exist another object and a third object such that the other object is an instance of gear and the third object is an instance of gear and the other object is a part of the object and the third object is a part of the object and the other object is right angle to the third object
(=> (instance ?WEAVE Weaving) (hasPurpose ?WEAVE (exists (?SUB ?WARP ?WEFT ?OBJ) (and (instance ?SUB Substance) (attribute ?SUB Pliable) (patient ?WEAVE ?SUB) (part ?WARP ?SUB) (part ?WEFT ?SUB) (not (equal ?WARP ?WEFT)) (orientation ?WARP ?WEFT RightAngle) (result ?WEAVE ?OBJ) (instance ?OBJ Artifact)))))	Mid-level-ontology.kif 4621-4635	If a physical is an instance of weaving, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of substance and pliable is an attribute of the entity and the entity is a patient of the physical and the other entity is a part of the entity and the third entity is a part of the entity and the other entity is not equal to the third entity and the other entity is right angle to the third entity and the fourth entity is a result of the physical and the fourth entity is an instance of artifact

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