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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 Le nombre 1 argument de transitwayCapacityRate est une instance de Transitway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3228-3228 Le nombre 3 argument de transitwayCapacityRate est une instance de function de quantit�
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3227-3227 Le nombre 2 argument de transitwayCapacityRate est une sous-classe de objet en une partie
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3225-3225 transitwayCapacityRate est une instance de pr�dicat ternaire

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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