routeEnd - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - routeEnd

routeEnd

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2812-2814
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2810-2810	O argumento numero 1 de routeEnd e' uma instancia de Regiao
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2811-2811	O argumento numero 2 de routeEnd e' uma instancia de TransitSystem
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2809-2809	routeEnd e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4454-4454
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4453-4453
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4452-4452
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65931-65931

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2839-2852	distanceOnPath Quantidade Constante and Transitway pathInSystem Transitway and TransitSystem routeStart Regiao and Transitway routeEnd Regiao and Transitway abstractCounterpart Caminho do Grafo and TransitSystem Grafo No' do Grafo and No' do Grafo Grafo e' um sub-grafo de Caminho do Grafo No' do Grafo e' igual a o comeco de Caminho do Grafo No' do Grafo e' igual a o fim de Caminho do Grafo abstractCounterpart No' do Grafo and Regiao abstractCounterpart No' do Grafo and Regiao
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2816-2830	routeEnd Regiao and TransitSystem Objeto Objeto e' uma instancia de Transitway Regiao e' conectado com Objeto systemPart Objeto and TransitSystem Objeto2 Objeto2 e' uma instancia de Transitway Regiao e' conectado com Objeto2 systemPart Objeto2 and TransitSystem Objeto e' igual a Objeto2

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