Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AngleMeasure
AngleMeasure(angle measure)
AZ, HA, Medida_de_Angulo, MisuraAngolare, RA, anggulong_sukod, angle_measure, angle_of_inclination, angle_of_view, angular, angular_distance, angular_position, angular_unit, arcminute, arcsecond, azimuth, celestial_longitude, grad, grade, helix_angle, hour_angle, inclination, inclination_of_an_orbit, koNa_maapa, mesure_d'angle, microradian, mil, milliradian, minute, minute_of_arc, orthogonal, oxtant, perpendicularity, phase, phase_angle, rectangular, right_ascension, second, sextant, straight_angle, sukat_ng_anggulo, true_anomaly, view_angle, wave_angle, 角度测量

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 6433-6433
No TPTP formula. May not be expressible in strict first order. Merge.kif 6431-6432
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4500-4500 "http://upload.wikimedia.org/wikipedia/commons/c/ce/ Angle_measure.svg" is a URL depicting angle measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6430-6430 Angle measure is a subclass of constant quantity

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 6442-6442 Plane angle measure is a subclass of angle measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6446-6446 Solid angle measure is a subclass of angle measure
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1309-1309 "角度测量" is the printable form of angle measure in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 996-996 "angle measure" is the printable form of angle measure in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 987-987 "mesure d'angle" is the printable form of angle measure in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 522-522 "koNa maapa" is the printable form of angle measure in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 524-524 "MisuraAngolare" is the printable form of angle measure in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 939-939 "Medida de Angulo" is the printable form of angle measure in portuguese language
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 528-528 "anggulong sukod" is the printable form of angle measure in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 562-562 "angle measure" is the printable form of angle measure in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 527-527 "sukat ng anggulo" is the printable form of angle measure in tg

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 407-407 The number 2 argument of latitude is an instance of angle measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 408-408 The number 3 argument of latitude is an instance of angle measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 409-409 The number 4 argument of latitude is an instance of angle measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 445-445 The number 2 argument of longitude is an instance of angle measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 446-446 The number 3 argument of longitude is an instance of angle measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 447-447 The number 4 argument of longitude is an instance of angle measure

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 6517-6521


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners