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

KB Term:  Term intersection
English Word: 

Sigma KEE - SquareYard
SquareYard(square yard)

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


(instance SquareYard UnitOfArea) Mid-level-ontology.kif 15301-15301 Square yard is an instance of unit of area
(documentation SquareYard EnglishLanguage "SquareYard represents a UnitOfMeasure equal to one square YardLength.") Mid-level-ontology.kif 15302-15303 Square yard is an instance of unit of area
(equal SquareYard
    (SquareUnitFn YardLength))		 Mid-level-ontology.kif 15305-15305 equal square yard and the square unit of yard length

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


(termFormat EnglishLanguage SquareYard "square yard") domainEnglishFormat.kif 54895-54895
(termFormat ChineseTraditionalLanguage SquareYard "方碼") domainEnglishFormat.kif 54896-54896
(termFormat ChineseLanguage SquareYard "方码") domainEnglishFormat.kif 54897-54897

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


(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER Acre)
        (MeasureFn
            (MultiplicationFn 4840.0 ?NUMBER) SquareYard)))		 Mid-level-ontology.kif 15287-15293 If equal X, 1.0, and X, then equal X acre(s) and 4840.0 and X square yard(s)

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


(defaultMinimumMeasure KitchenArea
    (MeasureFn 4 SquareYard))		 DimensioningAmenities.kif 116-116 The minimum expected value of kitchen area is 4 square yard(s)
(defaultMaximumMeasure KitchenArea
    (MeasureFn 25 SquareYard))		 DimensioningAmenities.kif 117-117 The maximum expected value of kitchen area is 25 square yard(s)
(defaultMinimumMeasure SittingArea
    (MeasureFn 10 SquareYard))		 DimensioningAmenities.kif 119-119 The minimum expected value of sitting area is 10 square yard(s)
(defaultMaximumMeasure SittingArea
    (MeasureFn 30 SquareYard))		 DimensioningAmenities.kif 120-120 The maximum expected value of sitting area is 30 square yard(s)
(defaultMinimumMeasure Solarium
    (MeasureFn 4 SquareYard))		 DimensioningAmenities.kif 122-122 The minimum expected value of solarium is 4 square yard(s)
(defaultMaximumMeasure Solarium
    (MeasureFn 30 SquareYard))		 DimensioningAmenities.kif 123-123 The maximum expected value of solarium is 30 square yard(s)
(defaultMinimumMeasure Bathroom
    (MeasureFn 1 SquareYard))		 DimensioningAmenities.kif 125-125 The minimum expected value of bathroom is 1 square yard(s)
(defaultMaximumMeasure Bathroom
    (MeasureFn 16 SquareYard))		 DimensioningAmenities.kif 126-126 The maximum expected value of bathroom is 16 square yard(s)
(defaultMinimumMeasure PitchersMound
    (MeasureFn 16 SquareYard))		 DimensioningAmenities.kif 885-885 The minimum expected value of pitchers mound is 16 square yard(s)
(defaultMaximumMeasure PitchersMound
    (MeasureFn 29 SquareYard))		 DimensioningAmenities.kif 886-886 The maximum expected value of pitchers mound is 29 square yard(s)


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners