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)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13703-13704
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13702-13702 Square yard is an instance of unit of area

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54900-54900
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54899-54899
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54898-54898

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13706-13710 1.0 Square yard(s) is equal to the per of 1.0 yard length(s) and 1.0 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 3.0 is open source software produced by Articulate Software and its partners