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, foot_length, ft

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


(documentation FootLength ChineseLanguage "这是英制长度单位的英尺。") Merge.kif 7452-7452
(documentation FootLength EnglishLanguage "English length unit of feet.") Merge.kif 7451-7451
(externalImage FootLength "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Vitruvian_Man_Measurements.png") pictureList.kif 9237-9237 "http://upload.wikimedia.org/wikipedia/commons/c/ca/ Vitruvian_Man_Measurements.png" is a URL depicting foot length
(externalImage FootLength "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Britanski_merki_za_dalzhina_Grinuich_2005.jpg") pictureList.kif 9236-9236 "http://upload.wikimedia.org/wikipedia/commons/e/e4/ Britanski_merki_za_dalzhina_Grinuich_2005.jpg" is a URL depicting foot length
(instance FootLength UnitOfLength) Merge.kif 7450-7450 Foot length is an instance of UnitOfLength

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


(termFormat EnglishLanguage FootLength "foot length") domainEnglishFormat.kif 4524-4524 "foot length" is the printable form of foot length in english language

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 11231-11241

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


(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0 FootLength)))
Geography.kif 4448-4452
(=>
    (and
        (instance ?ocean Ocean)
        (surface ?top ?ocean))
    (elevation ?top
        (MeasureFn 0 FootLength)))
Geography.kif 4510-4514
(=>
    (equal ?NUM
        (MultiplicationFn 1 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 6076.1) FootLength)))
Geography.kif 3702-3704
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER Fathom)
        (MeasureFn
            (MultiplicationFn ?NUMBER 6) FootLength)))
Geography.kif 3666-3670
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER YardLength)
        (MeasureFn
            (MultiplicationFn 3 ?NUMBER) FootLength)))
Mid-level-ontology.kif 16781-16785
(=>
    (instance ?HARBOR DeepDraftHarbor)
    (navigableForDraft ?HARBOR
        (MeasureFn 45 FootLength)))
Transportation.kif 878-880
(=>
    (instance ?LCAC LCAC)
    (and
        (length ?LCAC
            (MeasureFn 88 FootLength))
        (effectiveRange ?LCAC
            (MeasureFn 555 Kilometer))))
MilitaryDevices.kif 1966-1972

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


(equal
    (MeasureFn 1 CubicFoot)
    (MultiplicationFn
        (MeasureFn 1 FootLength)
        (MultiplicationFn
            (MeasureFn 1 FootLength)
            (MeasureFn 1 FootLength))))
Mid-level-ontology.kif 11223-11229 1 Cubic foot(s) is equal to 1 foot length(s) and 1 foot length(s) and 1 foot length(s)
(equal
    (MeasureFn 1 Fathom)
    (MeasureFn 6 FootLength))
Geography.kif 3664-3664 1 Fathom(s) is equal to 6 foot length(s)
(equal
    (MeasureFn 1 NauticalMile)
    (MeasureFn 6076.1 FootLength))
Geography.kif 3683-3683 1 Nautical mile(s) is equal to 6076.1 foot length(s)
(equal
    (MeasureFn ?NUMBER FootLength)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.3048) Meter))
Merge.kif 7454-7456 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners