TreeView Knowledge Base Browser - NauticalMile

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 3778-3781
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6722-6722
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3777-3777	Nautical mile is an instance of UnitOfLength

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3775-3775	Nautical mile has name "nautical mile"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39930-39930
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39929-39929
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39928-39928

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1148-1153	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 1180-1185	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 1116-1121	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 1075-1080	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 1221-1226	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 3799-3805	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 3791-3797	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 3851-3859	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 4610-4618	Open sea is an attribute of an object if and only if the object is an instance of salt water area and the object is not an instance of landlocked water and the distance between a physical and the object is a 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 3834-3841	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 3816-3823	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 3807-3814	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 3825-3832	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 3861-3867	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 3787-3789	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 3783-3785	1.0 Nautical mile(s) is equal to 6076.1 foot length(s)

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