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

Formal Language: 



KB Term:  Term intersection
English Word: 

  lengthOfElectrifiedRailway

 Sigma KEE - lengthOfElectrifiedRailway
lengthOfElectrifiedRailway

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 121-124
No TPTP formula. May not be expressible in strict first order. Transportation.kif 118-118 电气化铁路的长度 的 1 数量 是 地理区域 的 instance
No TPTP formula. May not be expressible in strict first order. Transportation.kif 119-119 电气化铁路的长度 的 2 数量 是 长度测量 的 instance
No TPTP formula. May not be expressible in strict first order. Transportation.kif 117-117 电气化铁路的长度 是 二元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1487-1487
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1486-1486
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1485-1485
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33989-33989
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33988-33988
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33987-33987

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


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


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