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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TransitRoute

 Sigma KEE - TransitRoute
TransitRoute(transit route)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2993-2994
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12030-12030
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12029-12029
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12031-12031
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12027-12027
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10302-10302
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12033-12033
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12028-12028
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2991-2991 Transit route is a subclass of region

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2996-2996 Air route is a subclass of transit route
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58874-58874
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58873-58873
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58872-58872


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