TreeView Knowledge Base Browser - AngularDegree

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - AngularDegree

AngularDegree(angular degree)

arcdegree, degree

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2618-2618
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7361-7361
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1332-1332
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7359-7359	Angular degree is an instance of unit of angular measure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7536-7536
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7535-7535
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7534-7534

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3731-3733	An object courseWRT true north another object for 0.0 angular degree(s) if and only if the object is north to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3755-3757	An object courseWRT true north another object for 135.0 angular degree(s) if and only if the object is southeast to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3739-3741	An object courseWRT true north another object for 180.0 angular degree(s) if and only if the object is south to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3759-3761	An object courseWRT true north another object for 225.0 angular degree(s) if and only if the object is southwest to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3743-3745	An object courseWRT true north another object for 270.0 angular degree(s) if and only if the object is west to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3763-3765	An object courseWRT true north another object for 315.0 angular degree(s) if and only if the object is northwest to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3747-3749	An object courseWRT true north another object for 360.0 angular degree(s) if and only if the object is north to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3751-3753	An object courseWRT true north another object for 45.0 angular degree(s) if and only if the object is northeast to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3735-3737	An object courseWRT true north another object for 90.0 angular degree(s) if and only if the object is east to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 378-380	The measure of a physical is a real number angular degree(s) if and only if the measure of the physical is 60.0 and the real number arc minute(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 427-431	If the region a directional attribute of @ROW is an instance of region and 1th element of (@ROW) is equal to a real number angular degree(s), then the real number is less than or equal to 90.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 467-474	If the meridian at @ROW a directional attribute is an instance of region and 1th element of (@ROW) is equal to a real number angular degree(s), then the real number is less than or equal to 180.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7363-7365	If a physical quantity is equal to a real number angular degree(s), then the physical quantity is an instance of plane angle measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7371-7375	If the measure of a physical is a real number angular degree(s), then the real number is greater than or equal to 0.0 and the real number is less than or equal to 360.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 358-360	If the measure of a physical is a real number angular degree(s), then the real number is greater than or equal to 0.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 362-364	If the measure of a physical is a real number angular degree(s), then the real number is less than or equal to 360.0

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3595-3615	If an object is an instance of geographic area and the object is located at another object and the other object is an instance of tropics, then there exist a real number, a longitude,, , a directional attribute,, , another real number and an unit of measure such that the object is object geographic coordinates the real number the unit of measure(s) for the longitude and the unit of measure is an instance of unit of angular measure and the real number is less than the other real number and the other real number the unit of measure(s) is equal to the region the directional attribute of 23.0 angular degree(s) and the directional attribute is an instance of directional attribute and the directional attribute is equal to north or the directional attribute is equal to south
No TPTP formula. May not be expressible in strict first order.	Weather.kif 627-646	If a process is an instance of tropical cyclonic system and the process originates at an object and the object is an instance of north atlantic ocean or the object is an instance of pacific ocean or the object is an instance of indian ocean, then there don't exist another object, a directional attribute,, , a real number and a longitude such that the other object is located at the object and the directional attribute is an instance of directional attribute and the other object is object geographic coordinates the region the directional attribute of the real number angular degree(s) for the longitude and the directional attribute is equal to north or the directional attribute is equal to south and the real number is less than 5.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 433-440	If a directional attribute is equal to north or the directional attribute is equal to south, then the length of the region the directional attribute of 0.0 angular degree(s) is 1.0 nautical mile(s)

statement

No TPTP formula. May not be expressible in strict first order.	Geography.kif 382-382	1.0 Angular degree(s) is equal to 60.0 arc minute(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 383-383	A real number angular degree(s) is equal to 60.0 and the real number arc minute(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7367-7369	A real number angular degree(s) is equal to the real number and pi and 180.0 radian(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4662-4669	The geographic center of southern ocean is object geographic coordinates the region south of 65.0 angular degree(s) for the meridian at 0.0 angular degree(s) east

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