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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - YardLength
YardLength(yard length)
pace, yard

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19071-19071
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9861-9861
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8809-8809
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19070-19070 Yard length is an instance of unit of length

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63709-63709
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63708-63708
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63707-63707

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19073-19077

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