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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MultiModalTransitSystem

 Sigma KEE - MultiModalTransitSystem
MultiModalTransitSystem

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 3010-3012
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3009-3009 MultiModalTransitSystem est une sous-classe de TransitSystem

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2955-2955 UniModalTransitSystem est disjoint de MultiModalTransitSystem
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39155-39155
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39154-39154
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39153-39153

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 3062-3076
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3030-3044
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3014-3028
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3046-3060


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