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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UrbanTransitSystems
UrbanTransitSystems(urban transit systems)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. naics.kif 8368-8370
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12127-12127
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10325-10325
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12132-12132
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12126-12126
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12133-12133
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12129-12129
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12125-12125
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12131-12131
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12124-12124
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12130-12130
No TPTP formula. May not be expressible in strict first order. naics.kif 8366-8366 Urban transit systems is a subattribute of transit and ground passenger transportation

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


No TPTP formula. May not be expressible in strict first order. naics.kif 8385-8385 Bus and other motor vehicle transit systems is a subattribute of urban transit systems
No TPTP formula. May not be expressible in strict first order. naics.kif 8379-8379 Commuter rail systems is a subattribute of urban transit systems
No TPTP formula. May not be expressible in strict first order. naics.kif 8372-8372 Mixed mode transit systems is a subattribute of urban transit systems
No TPTP formula. May not be expressible in strict first order. naics.kif 8392-8392 Other urban transit systems is a subattribute of urban transit systems
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60710-60710
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60709-60709
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60708-60708


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