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

Formal Language: 



KB Term:  Term intersection
English Word: 

  lengthOfBroadGaugeRailway

 Sigma KEE - lengthOfBroadGaugeRailway
lengthOfBroadGaugeRailway

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 177-180
No TPTP formula. May not be expressible in strict first order. Transportation.kif 174-174 宽轨铁路的长度 的 1 数量 是 地理区域 的 instance
No TPTP formula. May not be expressible in strict first order. Transportation.kif 175-175 宽轨铁路的长度 的 2 数量 是 长度测量 的 instance
No TPTP formula. May not be expressible in strict first order. Transportation.kif 173-173 宽轨铁路的长度 是 二元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1475-1475
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1474-1474
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1473-1473
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33971-33971
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33970-33970
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33969-33969

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 182-189 长度测量 是 地理区域 的轨道 length 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量
No TPTP formula. May not be expressible in strict first order. Transportation.kif 191-199


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