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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 e' um sub-atributo de TransitAndGroundPassengerTransportation

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


No TPTP formula. May not be expressible in strict first order. naics.kif 8385-8385 BusAndOtherMotorVehicleTransitSystems e' um sub-atributo de UrbanTransitSystems
No TPTP formula. May not be expressible in strict first order. naics.kif 8379-8379 CommuterRailSystems e' um sub-atributo de UrbanTransitSystems
No TPTP formula. May not be expressible in strict first order. naics.kif 8372-8372 MixedModeTransitSystems e' um sub-atributo de UrbanTransitSystems
No TPTP formula. May not be expressible in strict first order. naics.kif 8392-8392 OtherUrbanTransitSystems e' um sub-atributo 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 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