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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Fathom

Sigma KEE - Fathom
Fathom(fathom)
fathom, fthm

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 4068-4069
(externalImage Fathom "http://upload.wikimedia.org/wikipedia/commons/c/ca/ Vitruvian_Man_Measurements.png") pictureList.kif 6002-6002
(instance Fathom UnitOfLength) Geography.kif 4058-4058 Fathom is an instance of unit of length

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


(names "fathom" Fathom) Geography.kif 4056-4056 Fathom has &ames$"name" "fathom"
(termFormat ChineseLanguage Fathom "推测") domainEnglishFormat.kif 23407-23407 Fathom has &ames$"name" "fathom"
(termFormat ChineseTraditionalLanguage Fathom "推測") domainEnglishFormat.kif 23406-23406 Fathom has &ames$"name" "fathom"
(termFormat EnglishLanguage Fathom "fathom") domainEnglishFormat.kif 23405-23405 Fathom has &ames$"name" "fathom"

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


(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER Fathom)
        (MeasureFn
            (MultiplicationFn ?NUMBER 6.0) FootLength)))
Geography.kif 4062-4066

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


(equal
    (MeasureFn 1.0 Fathom)
    (MeasureFn 6.0 FootLength))
Geography.kif 4060-4060 equal 1.0 fathom(s) and 6.0 foot length(s)


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 3.0 is open source software produced by Articulate Software and its partners