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 O argumento numero 1 de lengthOfElectrifiedRailway e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order. Transportation.kif 119-119 O argumento numero 2 de lengthOfElectrifiedRailway e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order. Transportation.kif 117-117 lengthOfElectrifiedRailway e' uma instancia de Predicado Binario

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 lengthOfElectrifiedRailway Area Geografica and Medida de Comprimento o comprimento de a classe descrita por Sequencia Simbolica e' Medida de Comprimento
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