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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SquareYard

 Sigma KEE - SquareYard
SquareYard(square yard)square_yard

appearance as argument number 1
-------------------------


s__documentation(s__SquareYard,s__EnglishLanguage,'SquareYard represents a UnitOfMeasure equal to one square YardLength.')

 Mid-level-ontology.kif 11286-11287
s__instance(s__SquareYard,s__UnitOfArea)

s__instance(s__UnitOfArea,s__SetOrClass)

 Mid-level-ontology.kif 11285-11285 Square yard is an instance of UnitOfArea

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


s__termFormat(s__EnglishLanguage,s__SquareYard,'square yard')

 domainEnglishFormat.kif 9573-9573 "square yard" is the printable form of square yard in english language

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


(s__MeasureFn(1,s__SquareYard)s__equal__ms__PerFn(s__MeasureFn(1,s__YardLength),s__MeasureFn(1,s__YardLength)))

 Mid-level-ontology.kif 11289-11293 1 Square yard(s) is equal to the per of 1 yard length(s) and 1 yard length(s)


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