Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - FootLength
FootLength(foot length)
foot, ft

appearance as argument number 1
-------------------------


(instance FootLength UnitOfLength) Merge.kif 7320-7320 Foot length is an instance of unit of length
(documentation FootLength EnglishLanguage "English length unit of feet.") Merge.kif 7322-7322 Foot length is an instance of unit of length
(externalImage FootLength "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Britanski_merki_za_dalzhina_Grinuich_2005.jpg") pictureList.kif 9230-9230 Foot length is an instance of unit of length
(externalImage FootLength "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Vitruvian_Man_Measurements.png") pictureList.kif 9231-9231 Foot length is an instance of unit of length

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage FootLength "foot length") domainEnglishFormat.kif 24610-24610
(termFormat ChineseTraditionalLanguage FootLength "腳長") domainEnglishFormat.kif 24611-24611
(termFormat ChineseLanguage FootLength "脚长") domainEnglishFormat.kif 24612-24612

antecedent
-------------------------


(=>
    (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 All of the following hold: (1) X is an instance of wind flow (2) Y is an instance of object (3) X is partly located in Y (4) Z foot length(s) is an elevation of X (5) Z is less than or equal to 500.0 (6) the measure of X is W per V, then W per V is a surface wind speed of Y
(=>
    (and
        (instance ?SZ SurfZone)
        (significantWaveHeight ?SZ
            (WhenFn ?SZ)
            (MeasureFn ?X FootLength))
        (greaterThan ?X 8.0))
    (attribute ?SZ RedFlagSwimmingCondition))		 Weather.kif 2709-2716 If X is an instance of surf zone, significantWaveHeight in X during the time of existence of X is Y foot length(s)., and Y is greater than 8.0, then red flag swimming condition is an attribute of X

consequent
-------------------------


(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER CubicFoot)
        (MeasureFn
            (MultiplicationFn ?NUMBER
                (MultiplicationFn ?NUMBER ?NUMBER)) FootLength)))		 Mid-level-ontology.kif 15225-15232 If equal X, 1.0, and X, then equal X cubic foot(s) and X and X and X foot length(s)
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER YardLength)
        (MeasureFn
            (MultiplicationFn 3.0 ?NUMBER) FootLength)))		 Mid-level-ontology.kif 21010-21014 If equal X, 1.0, and X, then equal X yard length(s) and 3.0 and X foot length(s)
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER Fathom)
        (MeasureFn
            (MultiplicationFn ?NUMBER 6.0) FootLength)))		 Geography.kif 5379-5383 If equal X, 1.0, and X, then equal X fathom(s) and X and 6.0 foot length(s)
(=>
    (equal ?NUM
        (MultiplicationFn 1.0 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 6076.1) FootLength)))		 Geography.kif 5438-5445 If equal X, 1.0, and X, then equal X nautical mile(s) and X and 6076.1 foot length(s)
(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0.0 FootLength)))		 Geography.kif 6314-6319 If X is an instance of sea and the top of X is Y, then the altitude of Y relative to sea level is 0.0 foot length(s)
(=>
    (and
        (instance ?ocean Ocean)
        (surface ?top ?ocean))
    (elevation ?top
        (MeasureFn 0.0 FootLength)))		 Geography.kif 6393-6398 If X is an instance of ocean and Y is a surface of X, then 0.0 foot length(s) is an elevation of Y
(=>
    (instance ?LCAC LCAC)
    (and
        (length ?LCAC
            (MeasureFn 88.0 FootLength))
        (effectiveRange ?LCAC
            (MeasureFn 555.0 Kilometer))))		 MilitaryDevices.kif 2124-2130 If X is an instance of LCAC, then the length of X is 88.0 foot length(s) and 555.0 kilometer(s) is an effective range of X
(=>
    (instance ?HARBOR DeepDraftHarbor)
    (navigableForDraft ?HARBOR
        (MeasureFn 45 FootLength)))		 Transportation.kif 904-906 If X is an instance of deep draft harbor, then 45 foot length(s) is a navigable for draft of X
(=>
    (instance ?T TwentyFtContainer)
    (and
        (length ?T
            (MeasureFn 20 FootLength))
        (width ?T
            (MeasureFn 8 FootLength))))		 Transportation.kif 2850-2856 If X is an instance of twenty foot container, then the length of X is 20 foot length(s) and the width of X is 8 foot length(s)
(=>
    (instance ?T FortyFtContainer)
    (and
        (length ?T
            (MeasureFn 40 FootLength))
        (width ?T
            (MeasureFn 8 FootLength))))		 Transportation.kif 2988-2994 If X is an instance of forty foot container, then the length of X is 40 foot length(s) and the width of X 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 3056-3064 If X is an instance of forty five foot container, then the length of X is 45 foot length(s), the height of X is 102 inch(s), and the width of X 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 3075-3083 If X is an instance of forty eight foot container, then the length of X is 48 foot length(s), the height of X is 102 inch(s), and the width of X is 8 foot length(s)
(=>
    (instance ?T FiftythreeFtContainer)
    (and
        (length ?T
            (MeasureFn 53 FootLength))
        (height ?T
            (MeasureFn 102 Inch))
        (width ?T
            (MeasureFn 8 FootLength))))		 Transportation.kif 3098-3106 If X is an instance of fifty three foot container, then the length of X is 53 foot length(s), the height of X is 102 inch(s), and the width of X is 8 foot length(s)
(=>
    (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 2866-2875 If X is an instance of heavy zone, then there exist Y and Z such that Y is an instance of surf zone and X is located at Y and significantWaveHeight in Y during the time of existence of X is Z foot length(s). and Z is greater than or equal to 13.0

statement
-------------------------


(equal
    (MeasureFn ?NUMBER FootLength)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.3048) Meter))		 Merge.kif 7324-7326 equal X foot length(s) and X and 0.3048 meter(s)
(equal SquareFoot
    (SquareUnitFn FootLength))		 Mid-level-ontology.kif 15212-15212 equal square foot and the square unit of foot length
(equal
    (MeasureFn 1.0 Fathom)
    (MeasureFn 6.0 FootLength))		 Geography.kif 5377-5377 equal 1.0 fathom(s) and 6.0 foot length(s)
(equal
    (MeasureFn 1.0 NauticalMile)
    (MeasureFn 6076.1 FootLength))		 Geography.kif 5396-5398 equal 1.0 nautical mile(s) and 6076.1 foot length(s)
(defaultMinimumLength Ladder
    (MeasureFn 3 FootLength))		 DimensioningAmenities.kif 871-871 The minimum expected length of ladder is 3 foot length(s)
(defaultMaximumLength Ladder
    (MeasureFn 60 FootLength))		 DimensioningAmenities.kif 872-872 The maximum expected length of ladder is 60 foot length(s)
(defaultMinimumHeight GameGoal
    (MeasureFn 4 FootLength))		 DimensioningAmenities.kif 876-876 The minimum expected height of game goal is 4 foot length(s)
(defaultMaximumHeight GameGoal
    (MeasureFn 8 FootLength))		 DimensioningAmenities.kif 877-877 The maximum expected height of game goal is 8 foot length(s)
(defaultMinimumWidth GameGoal
    (MeasureFn 3 FootLength))		 DimensioningAmenities.kif 878-878 The minimum expected width of game goal is 3 foot length(s)
(defaultMaximumWidth GameGoal
    (MeasureFn 6 FootLength))		 DimensioningAmenities.kif 879-879 The maximum expected width of game goal is 6 foot length(s)
(defaultMinimumLength GameGoal
    (MeasureFn 6 FootLength))		 DimensioningAmenities.kif 880-880 The minimum expected length of game goal is 6 foot length(s)
(defaultMaximumLength GameGoal
    (MeasureFn 24 FootLength))		 DimensioningAmenities.kif 881-881 The maximum expected length of game goal is 24 foot length(s)
(defaultMinimumHeight Hominid
    (MeasureFn 1.5 FootLength))		 DimensioningAmenities.kif 923-923 The minimum expected height of hominid is 1.5 foot length(s)
(defaultMaximumHeight Hominid
    (MeasureFn 8 FootLength))		 DimensioningAmenities.kif 924-924 The maximum expected height of hominid is 8 foot length(s)
(defaultMinimumHeight Primate
    (MeasureFn 1.5 FootLength))		 DimensioningAmenities.kif 928-928 The minimum expected height of primate is 1.5 foot length(s)
(defaultMaximumHeight Primate
    (MeasureFn 8 FootLength))		 DimensioningAmenities.kif 929-929 The maximum expected height of primate is 8 foot length(s)
(defaultMinimumHeight DomesticAnimal
    (MeasureFn 0.5 FootLength))		 DimensioningAmenities.kif 938-938 The minimum expected height of domestic animal is 0.5 foot length(s)
(defaultMaximumHeight DomesticAnimal
    (MeasureFn 5.5 FootLength))		 DimensioningAmenities.kif 939-939 The maximum expected height of domestic animal is 5.5 foot length(s)
(defaultMinimumLength MortarGun
    (MeasureFn 4 FootLength))		 DimensioningAmenities.kif 1002-1002 The minimum expected length of mortar gun is 4 foot length(s)
(defaultMaximumLength MortarGun
    (MeasureFn 7 FootLength))		 DimensioningAmenities.kif 1003-1003 The maximum expected length of mortar gun is 7 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners