TreeView Knowledge Base Browser

appearance as argument number 1

(documentation AngleMeasure ChineseLanguage "这是平面或固体一个角度的值。")	chinese_format.kif 2424-2424
(documentation AngleMeasure EnglishLanguage "The value of an angle in a plane or in a solid.")	Merge.kif 6365-6366
(documentation AngleMeasure JapaneseLanguage "平面または固体内の角度の値。")	japanese_format.kif 1113-1113
(externalImage AngleMeasure "http://upload.wikimedia.org/wikipedia/commons/ c/ ce/ Angle_measure.svg")	pictureList.kif 4498-4498
(subclass AngleMeasure ConstantQuantity)	Merge.kif 6363-6363	Angle measure is a subclass of constant quantity

appearance as argument number 2

(subclass PlaneAngleMeasure AngleMeasure)	Merge.kif 6374-6374	Plane angle measure is a subclass of angle measure
(subclass SolidAngleMeasure AngleMeasure)	Merge.kif 6378-6378	Solid angle measure is a subclass of angle measure
(termFormat ChineseLanguage AngleMeasure "角度测量")	chinese_format.kif 1309-1309	Solid angle measure is a subclass of angle measure
(termFormat EnglishLanguage AngleMeasure "angle measure")	english_format.kif 1835-1835	Solid angle measure is a subclass of angle measure
(termFormat FrenchLanguage AngleMeasure "mesure d'angle")	french_format.kif 987-987	Solid angle measure is a subclass of angle measure
(termFormat Hindi AngleMeasure "koNa maapa")	terms-hindi.txt 522-522	Solid angle measure is a subclass of angle measure
(termFormat ItalianLanguage AngleMeasure "MisuraAngolare")	terms-it.txt 526-526	Solid angle measure is a subclass of angle measure
(termFormat JapaneseLanguage AngleMeasure "角度測定")	japanese_format.kif 2671-2671	Solid angle measure is a subclass of angle measure
(termFormat PortugueseLanguage AngleMeasure "Medida de Angulo")	portuguese_format.kif 939-939	Solid angle measure is a subclass of angle measure
(termFormat cb AngleMeasure "anggulong sukod")	terms-cb.txt 528-528	Solid angle measure is a subclass of angle measure
(termFormat cz AngleMeasure "angle measure")	terms-cz.txt 562-562	Solid angle measure is a subclass of angle measure
(termFormat de AngleMeasure "Winkelmass")	terms-de.txt 821-821	Solid angle measure is a subclass of angle measure
(termFormat ro AngleMeasure "mãsurã angularã")	relations-ro.kif 1008-1008	Solid angle measure is a subclass of angle measure
(termFormat tg AngleMeasure "sukat ng anggulo")	terms-tg.txt 527-527	Solid angle measure is a subclass of angle measure

appearance as argument number 3

(domain LatitudeFn 2 AngleMeasure)	Geography.kif 1887-1887	The number 2 argument of latitude is an instance of angle measure
(domain LatitudeFn 3 AngleMeasure)	Geography.kif 1888-1888	The number 3 argument of latitude is an instance of angle measure
(domain LatitudeFn 4 AngleMeasure)	Geography.kif 1889-1889	The number 4 argument of latitude is an instance of angle measure
(domain LongitudeFn 2 AngleMeasure)	Geography.kif 1925-1925	The number 2 argument of longitude is an instance of angle measure
(domain LongitudeFn 3 AngleMeasure)	Geography.kif 1926-1926	The number 3 argument of longitude is an instance of angle measure
(domain LongitudeFn 4 AngleMeasure)	Geography.kif 1927-1927	The number 4 argument of longitude is an instance of angle measure
(domain angleOfFire 2 AngleMeasure)	MilitaryDevices.kif 256-256	The number 2 argument of angle of fire is an instance of angle measure
(domain angularMeasure 2 AngleMeasure)	Merge.kif 18073-18073	The number 2 argument of angular measure is an instance of angle measure
(domain bodyAngle 3 AngleMeasure)	Mid-level-ontology.kif 12030-12030	The number 3 argument of body angle is an instance of angle measure
(domain planeAngleMeasure 3 AngleMeasure)	Mid-level-ontology.kif 27494-27494	The number 3 argument of plane angle measure is an instance of angle measure

consequent

(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfAngularMeasure))
    (instance ?QUANT AngleMeasure))

Merge.kif 6444-6448

If equal a real number an unit of measure(s) and a time duration and the unit of measure is an instance of unit of angular measure,
then the time duration is an instance of angle measure

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

KB Term:			Term intersection

English Word: