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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Fathom

appearance as argument number 1

(documentation Fathom EnglishLanguage "Fathom is a UnitOfMeasure used for measuring water depth. One fathom is equal to six feet.") Geography.kif 3672-3673
(externalImage Fathom " Vitruvian_Man_Measurements.png") pictureList.kif 6004-6004
(instance Fathom UnitOfLength) Geography.kif 3662-3662

appearance as argument number 2

(names "fathom" Fathom) Geography.kif 3660-3660
(termFormat EnglishLanguage Fathom "fathom") domainEnglishFormat.kif 4322-4322


    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
        (MeasureFn ?NUMBER Fathom)
            (MultiplicationFn ?NUMBER 6) FootLength)))
Geography.kif 3666-3670


    (MeasureFn 1 Fathom)
    (MeasureFn 6 FootLength))
Geography.kif 3664-3664

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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