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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - YardLength
خُطْوَة, يَارْدَة,

appearance as argument number 1

(documentation YardLength EnglishLanguage "English unit of length, equal to 3 FeetLength.") Mid-level-ontology.kif 16749-16749
(externalImage YardLength " c/ ca/ Vitruvian_Man_Measurements.png") pictureList.kif 9879-9879
(externalImage YardLength " e/ e4/ Britanski_merki_za_dalzhina_Grinuich_2005.jpg") pictureList.kif 8814-8814
(instance YardLength UnitOfLength) Mid-level-ontology.kif 16748-16748

appearance as argument number 2

(termFormat EnglishLanguage YardLength "yard length") domainEnglishFormat.kif 11045-11045


    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
        (MeasureFn ?NUMBER YardLength)
            (MultiplicationFn 3 ?NUMBER) FootLength)))
Mid-level-ontology.kif 16751-16755


    (MeasureFn 1 SquareYard)
        (MeasureFn 1 YardLength)
        (MeasureFn 1 YardLength)))
Mid-level-ontology.kif 11289-11293

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