FootLength - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - FootLength

FootLength(foot length)

appearance as argument number 1

(documentation FootLength ChineseLanguage "这是英制长度单位的英尺。")	chinese_format.kif 2591-2591
(documentation FootLength EnglishLanguage "English length unit of feet.")	Merge.kif 7185-7185
(documentation FootLength JapaneseLanguage "英国でのフィートの長さの単位。")	japanese_format.kif 1300-1300
(externalImage FootLength "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Vitruvian_Man_Measurements.png")	pictureList.kif 9232-9232
(externalImage FootLength "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Britanski_merki_za_dalzhina_Grinuich_2005.jpg")	pictureList.kif 9231-9231
(instance FootLength UnitOfLength)	Merge.kif 7183-7183	Foot length is an instance of unit of length

appearance as argument number 2

(termFormat ChineseLanguage FootLength "脚长")	domainEnglishFormat.kif 24636-24636
(termFormat ChineseTraditionalLanguage FootLength "腳長")	domainEnglishFormat.kif 24635-24635
(termFormat EnglishLanguage FootLength "foot length")	domainEnglishFormat.kif 24634-24634

antecedent

(=> (and (instance ?SZ SurfZone) (significantWaveHeight ?SZ (WhenFn ?SZ) (MeasureFn ?X FootLength)) (greaterThan ?X 8.0)) (attribute ?SZ RedFlagSwimmingCondition))	Weather.kif 1382-1389	If a water area is an instance of surf zone and significantWaveHeight in the water area during the time of existence of the water area is a real number foot length(s). and the real number is greater than 8.0, then red flag swimming condition is an attribute of the water area
(=> (and (instance ?ZEPHYR WindFlow) (instance ?PLACE Object) (partlyLocated ?ZEPHYR ?PLACE) (elevation ?ZEPHYR (MeasureFn ?X FootLength)) (lessThanOrEqualTo ?X 500.0) (measure ?ZEPHYR (SpeedFn ?DIST ?TIME))) (surfaceWindSpeed ?PLACE (SpeedFn ?DIST ?TIME)))	Weather.kif 136-145	If an object is an instance of wind flow and another object is an instance of object and the object is partly located in the other object and a real number foot length(s) is an elevation of the object and the real number is less than or equal to 500.0 and the measure of the object is a length measure per a time duration, then the length measure per the time duration is a surface wind speed of the other object

consequent

(=> (and (instance ?SEA Sea) (top ?TOP ?SEA)) (altitude ?TOP SeaLevel (MeasureFn 0.0 FootLength)))	Geography.kif 4772-4777	If a self connected object is an instance of sea and the top of the self connected object is another self connected object, then the altitude of the other self connected object is sea level
(=> (and (instance ?ocean Ocean) (surface ?top ?ocean)) (elevation ?top (MeasureFn 0.0 FootLength)))	Geography.kif 4837-4842	If a self connected object is an instance of ocean and another self connected object is a surface of the self connected object, then 0.0 foot length(s) is an elevation of the other self connected object
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 6076.1) FootLength)))	Geography.kif 3903-3910	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)
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER Fathom) (MeasureFn (MultiplicationFn ?NUMBER 6.0) FootLength)))	Geography.kif 3844-3848	If a real number is equal to 1.0 and the real number, then the real number fathom(s) is equal to the real number and 6.0 foot length(s)
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER YardLength) (MeasureFn (MultiplicationFn 3.0 ?NUMBER) FootLength)))	Mid-level-ontology.kif 19331-19335	If a real number is equal to 1.0 and the real number, then the real number yard length(s) is equal to 3.0 and the real number foot length(s)
(=> (instance ?HARBOR DeepDraftHarbor) (navigableForDraft ?HARBOR (MeasureFn 45 FootLength)))	Transportation.kif 904-906	If a water area is an instance of deep draft harbor, then 45 foot length(s) is a navigable for draft of the water area
(=> (instance ?HS HeavySurf) (exists (?SZ ?SWH) (and (instance ?SZ SurfZone) (eventLocated ?HS ?SZ) (significantWaveHeight ?SZ (WhenFn ?HS) (MeasureFn ?SWH FootLength)) (greaterThanOrEqualTo ?SWH 13.0))))	Weather.kif 1540-1549	If a process is an instance of heavy zone, then there exist a water area and a real number such that the water area is an instance of surf zone and the process is located at the water area and significantWaveHeight in the water area during the time of existence of the process is the real number foot length(s). and the real number is greater than or equal to 13.0
(=> (instance ?LCAC LCAC) (and (length ?LCAC (MeasureFn 88.0 FootLength)) (effectiveRange ?LCAC (MeasureFn 555.0 Kilometer))))	MilitaryDevices.kif 1967-1973	If a device is an instance of LCAC, then the length of the device is 88.0 foot length(s) and 555.0 kilometer(s) is an effective range of the device
(=> (instance ?T FiftythreeFtContainer) (and (length ?T (MeasureFn 53 FootLength)) (height ?T (MeasureFn 102 Inch)) (width ?T (MeasureFn 8 FootLength))))	Transportation.kif 3043-3051	If a self connected object is an instance of fifty three foot container, then the length of the self connected object is 53 foot length(s) and the height of the self connected object is 102 inch(s) and the width of the self connected object is 8 foot length(s)
(=> (instance ?T FortyFtContainer) (and (length ?T (MeasureFn 40 FootLength)) (width ?T (MeasureFn 8 FootLength))))	Transportation.kif 2933-2939	If a physical is an instance of forty foot container, then the length of the physical is 40 foot length(s) and the width of the physical is 8 foot length(s)
(=> (instance ?T FortyeightFtContainer) (and (length ?T (MeasureFn 48 FootLength)) (height ?T (MeasureFn 102 Inch)) (width ?T (MeasureFn 8 FootLength))))	Transportation.kif 3020-3028	If a self connected object is an instance of forty eight foot container, then the length of the self connected object is 48 foot length(s) and the height of the self connected object is 102 inch(s) and the width of the self connected object is 8 foot length(s)
(=> (instance ?T FortyfiveFtContainer) (and (length ?T (MeasureFn 45 FootLength)) (height ?T (MeasureFn 102 Inch)) (width ?T (MeasureFn 8 FootLength))))	Transportation.kif 3001-3009	If a self connected object is an instance of forty five foot container, then the length of the self connected object is 45 foot length(s) and the height of the self connected object is 102 inch(s) and the width of the self connected object is 8 foot length(s)
(=> (instance ?T TwentyFtContainer) (and (length ?T (MeasureFn 20 FootLength)) (width ?T (MeasureFn 8 FootLength))))	Transportation.kif 2795-2801	If a physical is an instance of twenty foot container, then the length of the physical is 20 foot length(s) and the width of the physical is 8 foot length(s)

statement

(equal (MeasureFn 1.0 Fathom) (MeasureFn 6.0 FootLength))	Geography.kif 3842-3842	1.0 Fathom(s) is equal to 6.0 foot length(s)
(equal (MeasureFn 1.0 NauticalMile) (MeasureFn 6076.1 FootLength))	Geography.kif 3861-3863	1.0 Nautical mile(s) is equal to 6076.1 foot length(s)
(equal (MeasureFn ?NUMBER FootLength) (MeasureFn (MultiplicationFn ?NUMBER 0.3048) Meter))	Merge.kif 7187-7189	A real number foot length(s) is equal to the real number and 0.3048 meter(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