  Browsing Interface : Welcome guest : log in [  Home |  Graph |  ]  KB:  SUMO Language:  ChineseLanguageChinesePinyinWritingChineseSimplifiedWritingChineseTraditionalLanguageEnglishLanguageFrenchLanguageGermanLanguageJapaneseLanguageSpanishLanguageSwedishLanguage   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

 KB Term: Term intersection English Word: Any Noun Verb Adjective Adverb   NauticalMile 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) 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