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

Formal Language: 



KB Term:  Term intersection
English Word: 

  lengthOfStandardGaugeRailway

 Sigma KEE - lengthOfStandardGaugeRailway
lengthOfStandardGaugeRailway

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 260-263
No TPTP formula. May not be expressible in strict first order. Transportation.kif 257-257 域 標準軌距鐵路的長度, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Transportation.kif 258-258 域 標準軌距鐵路的長度, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 256-256 例 標準軌距鐵路的長度 and BinaryPredicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1515-1515
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1514-1514
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1513-1513
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34031-34031
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34030-34030
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34029-34029

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 265-272 LengthMeasure GeographicArea 的 標準規格管線 length length 卡帕 SymbolicString and 例 SymbolicString and 標準軌距鐵路 位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 274-282


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