TreeView Knowledge Base Browser - routeStart

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - routeStart

routeStart

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2756-2758
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2754-2754	O argumento numero 1 de routeStart e' uma instancia de Regiao
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2755-2755	O argumento numero 2 de routeStart e' uma instancia de TransitSystem
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2753-2753	routeStart e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4458-4458
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4457-4457
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4456-4456
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65930-65930

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2806-2819	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 2760-2774	routeStart 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 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