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 "这是英制长度单位的英尺。") chinese_format.kif 2591-2591
(documentation FootLength EnglishLanguage "English length unit of feet.") Merge.kif 6761-6761
(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 6759-6759 Foot length is an instance of UnitOfLength

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


(termFormat ChineseLanguage FootLength "脚长") domainEnglishFormat.kif 24547-24547 "脚长" is the printable form of foot length in ChineseLanguage
(termFormat ChineseTraditionalLanguage FootLength "腳長") domainEnglishFormat.kif 24546-24546 "腳長" is the printable form of foot length in ChineseTraditionalLanguage
(termFormat EnglishLanguage FootLength "foot length") domainEnglishFormat.kif 24545-24545 "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 11236-11246

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


(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0 FootLength)))
Geography.kif 4462-4466
(=>
    (and
        (instance ?ocean Ocean)
        (surface ?top ?ocean))
    (elevation ?top
        (MeasureFn 0 FootLength)))
Geography.kif 4524-4528
(=>
    (equal ?NUM
        (MultiplicationFn 1 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 6076.1) FootLength)))
Geography.kif 3715-3717
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER Fathom)
        (MeasureFn
            (MultiplicationFn ?NUMBER 6) FootLength)))
Geography.kif 3679-3683
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER YardLength)
        (MeasureFn
            (MultiplicationFn 3 ?NUMBER) FootLength)))
Mid-level-ontology.kif 16860-16864
(=>
    (instance ?HARBOR DeepDraftHarbor)
    (navigableForDraft ?HARBOR
        (MeasureFn 45 FootLength)))
Transportation.kif 893-895
(=>
    (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 11228-11234 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 3677-3677 1 Fathom(s) is equal to 6 foot length(s)
(equal
    (MeasureFn 1 NauticalMile)
    (MeasureFn 6076.1 FootLength))
Geography.kif 3696-3696 1 Nautical mile(s) is equal to 6076.1 foot length(s)
(equal
    (MeasureFn ?NUMBER FootLength)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.3048) Meter))
Merge.kif 6763-6765 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