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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SquareYard
SquareYardsquare_yard

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


(documentation SquareYard EnglishLanguage "SquareYard represents a UnitOfMeasure equal to one square YardLength.") Mid-level-ontology.kif 11286-11287
(instance SquareYard UnitOfArea) Mid-level-ontology.kif 11285-11285

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


(termFormat EnglishLanguage SquareYard "square yard") domainEnglishFormat.kif 9573-9573

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


(defaultMaximumMeasure Bathroom
    (MeasureFn 16 SquareYard))
DimensioningAmenities.kif 126-126
(defaultMaximumMeasure KitchenArea
    (MeasureFn 25 SquareYard))
DimensioningAmenities.kif 117-117
(defaultMaximumMeasure PitchersMound
    (MeasureFn 29 SquareYard))
DimensioningAmenities.kif 884-884
(defaultMaximumMeasure SittingArea
    (MeasureFn 30 SquareYard))
DimensioningAmenities.kif 120-120
(defaultMaximumMeasure Solarium
    (MeasureFn 30 SquareYard))
DimensioningAmenities.kif 123-123
(defaultMinimumMeasure Bathroom
    (MeasureFn 1 SquareYard))
DimensioningAmenities.kif 125-125
(defaultMinimumMeasure KitchenArea
    (MeasureFn 4 SquareYard))
DimensioningAmenities.kif 116-116
(defaultMinimumMeasure PitchersMound
    (MeasureFn 16 SquareYard))
DimensioningAmenities.kif 883-883
(defaultMinimumMeasure SittingArea
    (MeasureFn 10 SquareYard))
DimensioningAmenities.kif 119-119
(defaultMinimumMeasure Solarium
    (MeasureFn 4 SquareYard))
DimensioningAmenities.kif 122-122
(equal
    (MeasureFn 1 SquareYard)
    (PerFn
        (MeasureFn 1 YardLength)
        (MeasureFn 1 YardLength)))
Mid-level-ontology.kif 11289-11293


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners