TreeView Knowledge Base Browser - distanceOnPath

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - distanceOnPath

distanceOnPath

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24416-24418
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24419-24419	O argumento numero 1 de distanceOnPath e' uma instancia de Quantidade Constante
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24420-24420	O argumento numero 2 de distanceOnPath e' uma instancia de Transitway
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24415-24415	distanceOnPath e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3278-3278
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3277-3277
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3276-3276
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65816-65816

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.	Sports.kif 295-302	Movimento e' uma instancia de HalfMarathon Movimento e' um agente de AutonomousAgent Transitway e' o caminho ao longo do qual Movimento ocorre distanceOnPath Numero Real Mile(s) and Transitway Numero Real e' igual a 13.1
No TPTP formula. May not be expressible in strict first order.	Sports.kif 281-288	Movimento e' uma instancia de Marathon Movimento e' um agente de AutonomousAgent Transitway e' o caminho ao longo do qual Movimento ocorre distanceOnPath Numero Real Mile(s) and Transitway Numero Real e' igual a 26.2
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2832-2837	distanceOnPath Quantidade Constante and Transitway Abstrato Abstrato e' uma instancia de Caminho do Grafo abstractCounterpart Abstrato and Transitway

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