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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TransitSystem

Sigma KEE - TransitSystem
TransitSystem

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2867-2875
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2866-2866 TransitSystem est une sous-classe de PhysicalSystem

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2941-2941 AirTransportationSystem est une sous-classe de TransitSystem
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3009-3009 MultiModalTransitSystem est une sous-classe de TransitSystem
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2070-2070 RailTransportationSystem est une sous-classe de TransitSystem
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2091-2091 RoadTransportationSystem est une sous-classe de TransitSystem
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2951-2951 UniModalTransitSystem est une sous-classe de TransitSystem
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2929-2929 WaterTransportationSystem est une sous-classe de TransitSystem
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58894-58894
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58893-58893
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58892-58892

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2769-2769 Le nombre 2 argument de pathInSystem est une instance de TransitSystem
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2823-2823 Le nombre 2 argument de routeEnd est une instance de TransitSystem
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2789-2789 Le nombre 2 argument de routeInSystem est une instance de TransitSystem
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2800-2800 Le nombre 2 argument de routeStart est une instance de TransitSystem

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2923-2927
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2891-2901
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2903-2913
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2877-2882
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2884-2889


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