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

KB Term:  Term intersection
English Word: 

Sigma KEE - SquareMile
SquareMile(square mile)section, square_mile

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


(instance SquareMile UnitOfArea) Mid-level-ontology.kif 15295-15295 Square mile is an instance of unit of area
(documentation SquareMile EnglishLanguage "SquareMile represents a UnitOfMeasure equal to one square Mile.") Mid-level-ontology.kif 15296-15297 Square mile is an instance of unit of area
(equal SquareMile
    (SquareUnitFn Mile))		 Mid-level-ontology.kif 15299-15299 equal square mile and the square unit of mile

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


(termFormat EnglishLanguage SquareMile "square mile") domainEnglishFormat.kif 54877-54877
(termFormat ChineseTraditionalLanguage SquareMile "平方英里") domainEnglishFormat.kif 54878-54878
(termFormat ChineseLanguage SquareMile "平方英里") domainEnglishFormat.kif 54879-54879

antecedent
-------------------------


(=>
    (totalArea CentralValleyCalifornia
        (MeasureFn ?X SquareMile))
    (approximateValue ?X 18000))		 Geography.kif 1408-1411 If X square mile(s) is a total area of Central Valley California, then the approximate value of X is 18000


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