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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Length

 Sigma KEE - Length
Length(长度)

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 76-76
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31073-31074
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31072-31072 长度 是 MeasurementAttribute 的 instance
No TPTP formula. May not be expressible in strict first order. engineering.kif 77-77 长度 是 物理尺寸 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33959-33959
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33958-33958
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33957-33957

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


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


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