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

Formal Language: 



KB Term:  Term intersection
English Word: 

  lengthOfNaturalGasPipeline

 Sigma KEE - lengthOfNaturalGasPipeline
lengthOfNaturalGasPipeline

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 730-733
No TPTP formula. May not be expressible in strict first order. Transportation.kif 728-728 天然气管道长度 的 1 数量 是 地理区域 的 instance
No TPTP formula. May not be expressible in strict first order. Transportation.kif 729-729 天然气管道长度 的 2 数量 是 长度测量 的 instance
No TPTP formula. May not be expressible in strict first order. Transportation.kif 727-727 天然气管道长度 是 二元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1503-1503
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1502-1502
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1501-1501
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34013-34013
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34012-34012
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34011-34011

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 735-742 长度测量 是 地理区域 的 天然瓦斯管线的 length 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量
No TPTP formula. May not be expressible in strict first order. Transportation.kif 744-748


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