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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AngleMeasure

Sigma KEE - AngleMeasure
AngleMeasure(angle measure)
AZ, HA, RA, 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, microradian, mil, milliradian, minute, minute_of_arc, orthogonal, oxtant, perpendicularity, phase, phase_angle, rectangular, right_ascension, second, sextant, straight_angle, true_anomaly, view_angle, wave_angle

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2424-2424
No TPTP formula. May not be expressible in strict first order. Merge.kif 6315-6316
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1113-1113
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4499-4499
No TPTP formula. May not be expressible in strict first order. Merge.kif 6313-6313 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 6324-6324 Plane angle measure is a subclass of angle measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6328-6328 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
No TPTP formula. May not be expressible in strict first order. english_format.kif 1835-1835
No TPTP formula. May not be expressible in strict first order. french_format.kif 987-987
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 522-522
No TPTP formula. May not be expressible in strict first order. terms-it.txt 526-526
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2671-2671
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 939-939
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 528-528
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 562-562
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 1008-1008
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 527-527

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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10705-10705 The number 3 argument of body angle is an instance of angle measure

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6394-6398


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