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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Fathom

Sigma KEE - Fathom
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 "http://upload.wikimedia.org/wikipedia/commons/c/ca/ 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

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


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

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


(equal
    (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