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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - lineMeasure
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 16653-16654
(domain lineMeasure 1 OneDimensionalFigure) Merge.kif 16651-16651 The number 1 argument of line measure is an instance of one dimensional figure
(domain lineMeasure 2 LengthMeasure) Merge.kif 16652-16652 The number 2 argument of line measure is an instance of length measure
(instance lineMeasure BinaryPredicate) Merge.kif 16649-16649 line measure is an instance of binary predicate
(instance lineMeasure TotalValuedRelation) Merge.kif 16650-16650 line measure is an instance of total valued relation

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 34432-34432
(termFormat ChineseTraditionalLanguage lineMeasure "線測量") domainEnglishFormat.kif 34431-34431
(termFormat EnglishLanguage lineMeasure "line measure") domainEnglishFormat.kif 34430-34430

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


(=>
    (instance ?SQUARE Square)
    (exists (?LENGTH)
        (forall (?SIDE)
            (=>
                (sideOfFigure ?SIDE ?SQUARE)
                (lineMeasure ?SIDE ?LENGTH)))))
Mid-level-ontology.kif 5240-5246


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