NauticalMile - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - NauticalMile

NauticalMile(nautical mile)

air_mile, international_nautical_mile, knot, mi, mile, naut_mi, nautical_mile, sea_mile

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3937-3940
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6720-6720
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3936-3936	Nautical mile is an instance of unit of length

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3934-3934	Nautical mile has name "nautical mile"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39975-39975	Nautical mile has name "nautical mile"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39974-39974	Nautical mile has name "nautical mile"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39973-39973	Nautical mile has name "nautical mile"

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1135-1140	If a physical is an instance of exclusive fishing zone and the linear extent of the physical is a real number nautical mile(s), then the real number is less than or equal to 200.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1167-1172	If a physical is an instance of extended fishing zone and the linear extent of the physical is a real number nautical mile(s), then the real number is less than or equal to 200.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1103-1108	If a physical is an instance of maritime exclusive economic zone and the linear extent of the physical is a real number nautical mile(s), then the real number is less than or equal to 200.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1062-1067	If a physical is an instance of maritime shelf area and the linear extent of the physical is a real number nautical mile(s), then the real number is less than or equal to 200.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1208-1213	If a physical is an instance of territorial sea and the linear extent of the physical is a real number nautical mile(s), then the real number is less than or equal to 12.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3958-3964	If a physical quantity is equal to a real number nautical mile(s), then the physical quantity is equal to the real number and 1.151 mile(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3950-3956	If a physical quantity is equal to a real number nautical mile(s), then the physical quantity is equal to the real number and 1.852 1 thousand meters(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4010-4018	If a function quantity is equal to a real number nautical mile(s) per another real number hour duration(s), then the function quantity is equal to the real number and the other real number knot unit of speed(s)

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4780-4789	Open sea is an attribute of an object if and only if there exist a physical and a real number such that the object is an instance of salt water area and the object is not an instance of landlocked water and the distance between the physical and the object is the real number nautical mile(s) and the real number is greater than 5.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3993-4000	If a real number is equal to 1.0 and the real number, then the real number nautical mile(s) is equal to the real number and 1.151 mile(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3975-3982	If a real number is equal to 1.0 and the real number, then the real number nautical mile(s) is equal to the real number and 1.852 1 thousand meters(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3966-3973	If a real number is equal to 1.0 and the real number, then the real number nautical mile(s) is equal to the real number and 1852.0 meter(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3984-3991	If a real number is equal to 1.0 and the real number, then the real number nautical mile(s) is equal to the real number and 6076.1 foot length(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4020-4026	If a function quantity is equal to a real number knot unit of speed(s), then the function quantity is equal to the real number nautical mile(s) per 1.0 hour duration(s)
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 3946-3948	1.0 Nautical mile(s) is equal to 1852.0 meter(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3942-3944	1.0 Nautical mile(s) is equal to 6076.1 foot length(s)

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