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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Length

appearance as argument number 1

(documentation Length EnglishLanguage "PhysicalDimension of length, [m].") engineering.kif 75-75
(documentation Length EnglishLanguage "As with length, this is the measure of an Object along its longest span.") Mid-level-ontology.kif 30965-30966
(instance Length MeasurementAttribute) Mid-level-ontology.kif 30964-30964 Length is an instance of measurement attribute
(instance Length PhysicalDimension) engineering.kif 76-76 Length is an instance of physical dimension

appearance as argument number 2

(termFormat ChineseLanguage Length "长度") domainEnglishFormat.kif 33965-33965
(termFormat ChineseTraditionalLanguage Length "長度") domainEnglishFormat.kif 33964-33964
(termFormat EnglishLanguage Length "length") domainEnglishFormat.kif 33963-33963


        (memberMeasure ?S Length ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (length ?O ?Q))
Mid-level-ontology.kif 30969-30974

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