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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


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

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


(termFormat ChineseLanguage FootLength "脚长") domainEnglishFormat.kif 24619-24619
(termFormat ChineseTraditionalLanguage FootLength "腳長") domainEnglishFormat.kif 24618-24618
(termFormat EnglishLanguage FootLength "foot length") domainEnglishFormat.kif 24617-24617

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


(=>
    (and
        (instance ?SZ SurfZone)
        (significantWaveHeight ?SZ
            (WhenFn ?SZ)
            (MeasureFn ?X FootLength))
        (greaterThan ?X 8.0))
    (attribute ?SZ RedFlagSwimmingCondition))		 Weather.kif 1789-1796
(=>
    (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

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


(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0.0 FootLength)))		 Geography.kif 4842-4847
(=>
    (and
        (instance ?ocean Ocean)
        (surface ?top ?ocean))
    (elevation ?top
        (MeasureFn 0.0 FootLength)))		 Geography.kif 4907-4912
(=>
    (equal ?NUM
        (MultiplicationFn 1.0 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 6076.1) FootLength)))		 Geography.kif 3984-3991
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER CubicFoot)
        (MeasureFn
            (MultiplicationFn ?NUMBER
                (MultiplicationFn ?NUMBER ?NUMBER)) FootLength)))		 Mid-level-ontology.kif 15001-15008
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER Fathom)
        (MeasureFn
            (MultiplicationFn ?NUMBER 6.0) FootLength)))		 Geography.kif 3925-3929
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER YardLength)
        (MeasureFn
            (MultiplicationFn 3.0 ?NUMBER) FootLength)))		 Mid-level-ontology.kif 20644-20648
(=>
    (instance ?HARBOR DeepDraftHarbor)
    (navigableForDraft ?HARBOR
        (MeasureFn 45 FootLength)))		 Transportation.kif 904-906
(=>
    (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 1946-1955
(=>
    (instance ?LCAC LCAC)
    (and
        (length ?LCAC
            (MeasureFn 88.0 FootLength))
        (effectiveRange ?LCAC
            (MeasureFn 555.0 Kilometer))))		 MilitaryDevices.kif 2124-2130
(=>
    (instance ?T FiftythreeFtContainer)
    (and
        (length ?T
            (MeasureFn 53 FootLength))
        (height ?T
            (MeasureFn 102 Inch))
        (width ?T
            (MeasureFn 8 FootLength))))		 Transportation.kif 3052-3060
(=>
    (instance ?T FortyFtContainer)
    (and
        (length ?T
            (MeasureFn 40 FootLength))
        (width ?T
            (MeasureFn 8 FootLength))))		 Transportation.kif 2942-2948
(=>
    (instance ?T FortyeightFtContainer)
    (and
        (length ?T
            (MeasureFn 48 FootLength))
        (height ?T
            (MeasureFn 102 Inch))
        (width ?T
            (MeasureFn 8 FootLength))))		 Transportation.kif 3029-3037
(=>
    (instance ?T FortyfiveFtContainer)
    (and
        (length ?T
            (MeasureFn 45 FootLength))
        (height ?T
            (MeasureFn 102 Inch))
        (width ?T
            (MeasureFn 8 FootLength))))		 Transportation.kif 3010-3018
(=>
    (instance ?T TwentyFtContainer)
    (and
        (length ?T
            (MeasureFn 20 FootLength))
        (width ?T
            (MeasureFn 8 FootLength))))		 Transportation.kif 2804-2810

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


(equal
    (MeasureFn 1.0 Fathom)
    (MeasureFn 6.0 FootLength))		 Geography.kif 3923-3923 1.0 Fathom(s) is equal to 6.0 foot length(s)
(equal
    (MeasureFn 1.0 NauticalMile)
    (MeasureFn 6076.1 FootLength))		 Geography.kif 3942-3944 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 7215-7217 A real number foot length(s) is equal to the real number and 0.3048 meter(s)
(equal SquareFoot
    (SquareUnitFn FootLength))		 Mid-level-ontology.kif 14988-14988 Square foot is equal to the square unit of foot length


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