distanceOnPath - Sigma Knowledge base Browser

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 24359-24361
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24362-24362	The number 1 argument of distance on path is an instance of constant quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24363-24363	The number 2 argument of distance on path is an instance of transitway
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24358-24358	distance on path is an instance of binary predicate

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 65814-65814

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2806-2819	If the distance of a transitway is a constant quantity and a transit system is a path in system of the transitway and a region is the start of the transitway and another region is the end of the transitway and the abstract counterpart of the transit system is a graph path, then there exist a graph, a graph node and another graph node such that the graph is a subgraph of the graph path and the graph node is equal to the beginning of the graph path and the other graph node is equal to the end of the graph path and the abstract counterpart of the region is the graph node and the abstract counterpart of the other region is the other graph node
No TPTP formula. May not be expressible in strict first order.	Sports.kif 295-302	If a motion is an instance of half-marathon and an agent is an agent of the motion and a transitway is path along which the motion occurs and the distance of the transitway is a real number mile(s), then the real number is equal to 13.1
No TPTP formula. May not be expressible in strict first order.	Sports.kif 281-288	If a motion is an instance of marathon and an agent is an agent of the motion and a transitway is path along which the motion occurs and the distance of the transitway is a real number mile(s), then the real number is equal to 26.2
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2799-2804	If the distance of a transitway is a constant quantity, then there exists an abstract such that the abstract is an instance of graph path and the abstract counterpart of the transitway is the abstract

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