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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FootLength
FootLength

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


(documentation FootLength ChineseLanguage "这是英制长度单位的英尺。") chinese_format.kif 2591-2591
(documentation FootLength EnglishLanguage "English length unit of feet.") Merge.kif 6970-6970
(externalImage FootLength "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Vitruvian_Man_Measurements.png") pictureList.kif 9236-9236
(externalImage FootLength "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Britanski_merki_za_dalzhina_Grinuich_2005.jpg") pictureList.kif 9235-9235
(instance FootLength UnitOfLength) Merge.kif 6968-6968

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


(termFormat ChineseLanguage FootLength "脚长") domainEnglishFormat.kif 24609-24609
(termFormat ChineseTraditionalLanguage FootLength "腳長") domainEnglishFormat.kif 24608-24608
(termFormat EnglishLanguage FootLength "foot length") domainEnglishFormat.kif 24607-24607

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


(=>
    (and
        (equal ?N4
            (MultiplicationFn ?N1
                (MultiplicationFn ?N2 ?N3)))
        (equal ?QUANT
            (MultiplicationFn
                (MeasureFn ?N1 FootLength)
                (MultiplicationFn
                    (MeasureFn ?N2 FootLength)
                    (MeasureFn ?N3 FootLength)))))
    (equal ?QUANT
        (MeasureFn ?N4 CubicFoot)))
Mid-level-ontology.kif 12839-12849
(=>
    (and
        (instance ?SZ SurfZone)
        (instance ?X LengthMeasure)
        (significantWaveHeight ?SZ
            (WhenFn ?SZ)
            (MeasureFn ?X FootLength))
        (greaterThan ?X 8))
    (attribute ?SZ RedFlagSwimmingCondition))
Weather.kif 1396-1404
(=>
    (and
        (instance ?ZEPHYR WindFlow)
        (instance ?PLACE Object)
        (partlyLocated ?ZEPHYR ?PLACE)
        (elevation ?ZEPHYR
            (MeasureFn ?X FootLength))
        (lessThanOrEqualTo ?X 500)
        (measure ?ZEPHYR
            (SpeedFn ?DIST ?TIME)))
    (surfaceWindSpeed ?PLACE
        (SpeedFn ?DIST ?TIME)))
Weather.kif 148-157

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


(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0 FootLength)))
Geography.kif 4562-4566
(=>
    (and
        (instance ?ocean Ocean)
        (surface ?top ?ocean))
    (elevation ?top
        (MeasureFn 0 FootLength)))
Geography.kif 4624-4628
(=>
    (equal ?NUM
        (MultiplicationFn 1 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 6076.1) FootLength)))
Geography.kif 3758-3760
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER Fathom)
        (MeasureFn
            (MultiplicationFn ?NUMBER 6) FootLength)))
Geography.kif 3722-3726
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER YardLength)
        (MeasureFn
            (MultiplicationFn 3 ?NUMBER) FootLength)))
Mid-level-ontology.kif 18105-18109
(=>
    (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))))
Weather.kif 1556-1565
(=>
    (instance ?LCAC LCAC)
    (and
        (length ?LCAC
            (MeasureFn 88 FootLength))
        (effectiveRange ?LCAC
            (MeasureFn 555 Kilometer))))
MilitaryDevices.kif 1967-1973

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


(equal
    (MeasureFn 1 CubicFoot)
    (MultiplicationFn
        (MeasureFn 1 FootLength)
        (MultiplicationFn
            (MeasureFn 1 FootLength)
            (MeasureFn 1 FootLength))))
Mid-level-ontology.kif 12831-12837
(equal
    (MeasureFn 1 Fathom)
    (MeasureFn 6 FootLength))
Geography.kif 3720-3720
(equal
    (MeasureFn 1 NauticalMile)
    (MeasureFn 6076.1 FootLength))
Geography.kif 3739-3739
(equal
    (MeasureFn ?NUMBER FootLength)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.3048) Meter))
Merge.kif 6972-6974


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