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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PlaneAngleMeasure
PlaneAngleMeasure(plane angle measure)
ALT, EL, acute, altitude, angle_of_attack, angle_of_dip, angle_of_extinction, angle_of_incidence, angle_of_reflection, angle_of_refraction, anomaly, azimuthal, celestial_latitude, circular_measure, critical_angle, cutting_angle, dec, declination, depression, diagonal, dip, elevation, exterior_angle, external_angle, extinction_angle, face_angle, grade, hour_angle, incidence, incidence_angle, inclination, interior_angle, internal_angle, lead, magnetic_declination, magnetic_dip, magnetic_inclination, magnetic_variation, normal, oblique, obtuse, obtuse_angle, perigon, pitch, plane_angle, rake, re-entrant, reentering_angle, reentrant, reentrant_angle...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2427-2427
No TPTP formula. May not be expressible in strict first order. Merge.kif 6081-6081
No TPTP formula. May not be expressible in strict first order. pictureList.kif 24-24
No TPTP formula. May not be expressible in strict first order. Merge.kif 6079-6079 Plane angle measure is a subclass of angle measure

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6084-6084 Solid angle measure is disjoint from plane angle measure
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1310-1310
No TPTP formula. May not be expressible in strict first order. english_format.kif 1837-1837

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4646-4646 The number 1 argument of cosine is an instance of plane angle measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 3721-3721 The number 3 argument of courseWRT compass north is an instance of plane angle measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 3692-3692 The number 3 argument of courseWRT magnetic north is an instance of plane angle measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 3629-3629 The number 3 argument of courseWRT true north is an instance of plane angle measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 3620-3620 The number 2 argument of headingWRT compass north is an instance of plane angle measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 3611-3611 The number 2 argument of headingWRT magnetic north is an instance of plane angle measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 3602-3602 The number 2 argument of headingWRT true north is an instance of plane angle measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 3674-3674 The number 2 argument of magnetic variation is an instance of plane angle measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 3732-3732 The number 3 argument of relative bearing is an instance of plane angle measure

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7140-7142


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