TreeView Knowledge Base Browser - ArcMinute

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ArcMinute

ArcMinute(arc minute)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 367-368
No TPTP formula. May not be expressible in strict first order.	Geography.kif 366-366	Arc minute 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 8256-8256
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8255-8255
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8254-8254

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 397-399	The measure of a physical is a real number arc minute(s) if and only if the measure of the physical is 60.0 and the real number arc second(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 370-372	If the measure of a physical is a real number arc minute(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 374-376	If the measure of a physical is a real number arc minute(s), then the real number is less than or equal to 60.0

consequent

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 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.	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 401-401	1.0 Arc minute(s) is equal to 60.0 arc second(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 402-402	A real number arc minute(s) is equal to 60.0 and the real number arc second(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.	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