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

Formal Language: 


KB Term:  Term intersection
English Word: 

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

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


(names "fathom" Fathom) Geography.kif 4089-4089 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 4095-4099

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


(equal
    (MeasureFn 1.0 Fathom)
    (MeasureFn 6.0 FootLength))
Geography.kif 4093-4093 equal 1.0 fathom(s) and 6.0 foot length(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 3.0 is open source software produced by Articulate Software and its partners