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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - lineMeasure

appearance as argument number 1

(documentation lineMeasure ChineseLanguage "(lineMeasure ?LINE ?MEASURE)的意思是直线 ?LINE 的 LengthMeasure 是 ?MEASURE。") chinese_format.kif 3995-3996
(documentation lineMeasure EnglishLanguage "(lineMeasure ?LINE ?MEASURE) means that the straight line ?LINE has the LengthMeasure of ?MEASURE.") Merge.kif 17968-17969
(domain lineMeasure 1 OneDimensionalFigure) Merge.kif 17966-17966 lineMeasure の数値 1 引数は OneDimensionalFigureinstance では %n
(domain lineMeasure 2 LengthMeasure) Merge.kif 17967-17967 lineMeasure の数値 2 引数は 長さ測定instance では %n
(instance lineMeasure BinaryPredicate) Merge.kif 17964-17964 lineMeasure2進述語instance では %n
(instance lineMeasure TotalValuedRelation) Merge.kif 17965-17965 lineMeasure合計値関係instance では %n

appearance as argument number 2

(format ChineseLanguage lineMeasure "%2 %n 是 %1 的 line 量测") domainEnglishFormat.kif 1543-1543
(format ChineseTraditionalLanguage lineMeasure "%2 %n 是 %1 的 line 量测") domainEnglishFormat.kif 1542-1542
(format EnglishLanguage lineMeasure "%2 is %n a line measure of %1") domainEnglishFormat.kif 1541-1541
(termFormat ChineseLanguage lineMeasure "线测量") domainEnglishFormat.kif 34517-34517
(termFormat ChineseTraditionalLanguage lineMeasure "線測量") domainEnglishFormat.kif 34516-34516
(termFormat EnglishLanguage lineMeasure "line measure") domainEnglishFormat.kif 34515-34515


    (instance ?SQUARE Square)
    (exists (?LENGTH)
        (forall (?SIDE)
                (sideOfFigure ?SIDE ?SQUARE)
                (lineMeasure ?SIDE ?LENGTH)))))
Mid-level-ontology.kif 4937-4943

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