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

Formal Language: 



KB Term:  Term intersection
English Word: 

  transitwayCapacityRate

Sigma KEE - transitwayCapacityRate
transitwayCapacityRate

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 3230-3234
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3226-3226 O argumento numero 1 de transitwayCapacityRate e' uma instancia de Transitway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3228-3228 O argumento numero 3 de transitwayCapacityRate e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3227-3227 O argumento numero 2 de transitwayCapacityRate e' uma sub-classe de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3225-3225 transitwayCapacityRate e' uma instancia de Predicado Ternario

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2547-2547
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2546-2546
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2545-2545
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58918-58918
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58917-58917
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58916-58916


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