RightAngle - Sigma Knowledge base Browser

appearance as argument number 1

(angleOfFigure RightAngle Rectangle)	Mid-level-ontology.kif 5554-5554	angleOfFigure RightAngle and Rectangle
(documentation RightAngle EnglishLanguage "Any TwoDimensionalAngle that has the angularMeasure of 90 AngularDegrees.")	Mid-level-ontology.kif 5479-5480	angleOfFigure RightAngle and Rectangle
(externalImage RightAngle "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Right_angle.svg")	pictureList.kif 1957-1957	angleOfFigure RightAngle and Rectangle
(instance RightAngle PositionalAttribute)	Cars.kif 2233-2233	RightAngle は位置属性の instance では %n
(instance RightAngle TwoDimensionalAngle)	Mid-level-ontology.kif 5478-5478	RightAngle は TwoDimensionalAngle の instance では %n

appearance as argument number 2

(termFormat ChineseLanguage RightAngle "直角")	domainEnglishFormat.kif 50016-50016
(termFormat ChineseTraditionalLanguage RightAngle "直角")	domainEnglishFormat.kif 50015-50015
(termFormat EnglishLanguage RightAngle "right angle")	domainEnglishFormat.kif 50014-50014

antecedent

(=>
    (and
        (equal ?R RightAngle)
        (angularMeasure ?R
            (MeasureFn ?N AngularDegree)))
    (equal ?N 90.0))

Mid-level-ontology.kif 5482-5487

TwoDimensionalAngle は RightAngle と equal では %n angularMeasure TwoDimensionalAngle and 実数の AngularDegree(s)
実数は 90.0 と equal では %n

consequent

(=> (and (equal ?PLANE (LevelPlaneFn ?P ?A)) (part ?P ?R) (instance ?R Region) (located ?R ?A)) (exists (?L) (and (instance ?L LineInSpace) (endPointsOfLineInSpace ?P (CenterOfPlanetFn ?A) ?L) (orientation ?PLANE ?L RightAngle))))	Mid-level-ontology.kif 27431-27443	PlaneInSpace は LevelPlaneFn PointInSpace and 天体と equal では %n PointInSpace はオブジェクトの part では %n オブジェクトは地域の instance では %n オブジェクトは天体に located して %n FiniteLineInSpace FiniteLineInSpace は LineInSpace の instance では %n endPointsOfLineInSpace PointInSpace, CenterOfPlanetFn 天体 and FiniteLineInSpace PlaneInSpace は RightAngle 対 FiniteLineInSpace では %n
(=> (and (instance ?T Polygon) (equal ?T RightTriangle)) (exists (?A) (and (instance ?A TwoDimensionalAngle) (angleOfFigure ?A ?T) (equal ?A RightAngle))))	Mid-level-ontology.kif 5530-5538	GeometricFigure は Polygon の instance では %n GeometricFigure は RightTriangle と equal では %n TwoDimensionalAngle TwoDimensionalAngle は TwoDimensionalAngle の instance では %n angleOfFigure TwoDimensionalAngle and GeometricFigure TwoDimensionalAngle は RightAngle と equal では %n
(=> (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 2241-2249	オブジェクトは Differential の instance では %n オブジェクトオブジェクトオブジェクトは Gear の instance では %n オブジェクトは Gear の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトはオブジェクトの part では %n オブジェクトは RightAngle 対オブジェクトでは %n
(=> (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 5071-5085	物理は Weaving の instance では %n 物理はエンティティーエンティティー, エンティティー and エンティティーエンティティーは物質の instance では %n Pliable はエンティティーの attribute では %n エンティティーは物理の patient では %n エンティティーはエンティティーの part では %n エンティティーはエンティティーの part では %n エンティティーはエンティティーと equal ではエンティティーは RightAngle 対エンティティーでは %n エンティティーは物理の result では %n エンティティーはアーチファクトの instance では %n の目的 %n{ない}

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

KB Term:			Term intersection

English Word: