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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SquareUnitFn

Sigma KEE - SquareUnitFn
SquareUnitFn

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3889-3892
No TPTP formula. May not be expressible in strict first order. Geography.kif 3886-3886 The number 1 argument of square unit is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 3885-3885 Square unit is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Geography.kif 3887-3887 The range of square unit is an instance of unit of measure

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2335-2335
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2334-2334
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2333-2333
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54873-54873
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54872-54872
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54871-54871

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3895-3895 Square kilometer is equal to the square unit of 1 thousand meters
No TPTP formula. May not be expressible in strict first order. Geography.kif 3894-3894 Square meter is equal to the square unit of meter


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 3.0 is open source software produced by Articulate Software and its partners