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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UrbanTransitSystems

Sigma KEE - UrbanTransitSystems
UrbanTransitSystems
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 UrbanTransitSystems est un sous-attribut de TransitAndGroundPassengerTransportation

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


No TPTP formula. May not be expressible in strict first order. naics.kif 8385-8385 BusAndOtherMotorVehicleTransitSystems est un sous-attribut de UrbanTransitSystems
No TPTP formula. May not be expressible in strict first order. naics.kif 8379-8379 CommuterRailSystems est un sous-attribut de UrbanTransitSystems
No TPTP formula. May not be expressible in strict first order. naics.kif 8372-8372 MixedModeTransitSystems est un sous-attribut de UrbanTransitSystems
No TPTP formula. May not be expressible in strict first order. naics.kif 8392-8392 OtherUrbanTransitSystems est un sous-attribut de UrbanTransitSystems
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 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