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 3049-3053
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3045-3045 The number 1 argument of transitway capacity rate is an instance of transitway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3047-3047 The number 3 argument of transitway capacity rate is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3046-3046 The number 2 argument of transitway capacity rate is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3044-3044 transitway capacity rate is an instance of ternary predicate

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 58916-58916
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58915-58915
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58914-58914


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