TransitFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation TransitFn EnglishLanguage "(TransitFn ?WAY) denotes the class of Translocations that consist of travelling along the Transitway ?WAY.")	Transportation.kif 1734-1736
(domain TransitFn 1 Transitway)	Transportation.kif 1732-1732	The number 1 argument of transit is an instance of transitway
(instance TransitFn UnaryFunction)	Transportation.kif 1731-1731	Transit is an instance of unary function
(rangeSubclass TransitFn Translocation)	Transportation.kif 1733-1733	The values returned by transit are subclasses of translocation

appearance as argument number 2

(format ChineseLanguage TransitFn "%1 的 transit ")	domainEnglishFormat.kif 2539-2539
(format ChineseTraditionalLanguage TransitFn "%1 的 transit ")	domainEnglishFormat.kif 2538-2538
(format EnglishLanguage TransitFn "the transit of %1")	domainEnglishFormat.kif 2537-2537
(termFormat ChineseLanguage TransitFn "过境")	domainEnglishFormat.kif 58900-58900
(termFormat ChineseTraditionalLanguage TransitFn "過境")	domainEnglishFormat.kif 58899-58899
(termFormat EnglishLanguage TransitFn "transit")	domainEnglishFormat.kif 58898-58898

antecedent

(=>
    (and
        (instance ?GOING
            (TransitFn ?WAY))
        (instance ?WAY Transitway))
    (path ?GOING ?WAY))

Transportation.kif 1738-1742

If a motion is an instance of the transit of a transitway and the transitway is an instance of transitway,
then the transitway is path along which the motion occurs

consequent

(=> (instance ?X MultimodalTransitPoint) (exists (?T1 ?A ?T2 ?B) (and (instance ?T1 (TransitFn ?A)) (instance ?A AirTransitway) (path ?T1 ?A) (instance ?T2 (TransitFn ?B)) (path ?T2 ?B) (connects ?X ?A ?B) (not (equal ?T1 ?T2)) (or (instance ?B Railway) (instance ?B Roadway) (instance ?B Waterway)))))	Transportation.kif 3650-3665	If an object is an instance of multi modal transportation point, then there exist a motion, a transitway,, , another motion and another transitway such that the motion is an instance of the transit of the transitway and the transitway is an instance of air transitway and the transitway is path along which the motion occurs and the other motion is an instance of the transit of the other transitway and the other transitway is path along which the other motion occurs and the object connects the transitway and the other transitway and the motion is not equal to the other motion and the other transitway is an instance of railway or the other transitway is an instance of roadway or the other transitway is an instance of waterway
(=> (instance ?X MultimodalTransitPoint) (exists (?T1 ?A ?T2 ?B) (and (instance ?T1 (TransitFn ?A)) (instance ?A Railway) (path ?T1 ?A) (instance ?T2 (TransitFn ?B)) (path ?T2 ?B) (connects ?X ?A ?B) (not (equal ?T1 ?T2)) (or (instance ?B Waterway) (instance ?B Roadway) (instance ?B AirTransitway)))))	Transportation.kif 3684-3699	If an object is an instance of multi modal transportation point, then there exist a motion, a transitway,, , another motion and another transitway such that the motion is an instance of the transit of the transitway and the transitway is an instance of railway and the transitway is path along which the motion occurs and the other motion is an instance of the transit of the other transitway and the other transitway is path along which the other motion occurs and the object connects the transitway and the other transitway and the motion is not equal to the other motion and the other transitway is an instance of waterway or the other transitway is an instance of roadway or the other transitway is an instance of air transitway
(=> (instance ?X MultimodalTransitPoint) (exists (?T1 ?A ?T2 ?B) (and (instance ?T1 (TransitFn ?A)) (instance ?A Roadway) (path ?T1 ?A) (instance ?T2 (TransitFn ?B)) (path ?T2 ?B) (connects ?X ?A ?B) (not (equal ?T1 ?T2)) (or (instance ?B Waterway) (instance ?B Railway) (instance ?B AirTransitway)))))	Transportation.kif 3701-3716	If an object is an instance of multi modal transportation point, then there exist a motion, a transitway,, , another motion and another transitway such that the motion is an instance of the transit of the transitway and the transitway is an instance of roadway and the transitway is path along which the motion occurs and the other motion is an instance of the transit of the other transitway and the other transitway is path along which the other motion occurs and the object connects the transitway and the other transitway and the motion is not equal to the other motion and the other transitway is an instance of waterway or the other transitway is an instance of railway or the other transitway is an instance of air transitway
(=> (instance ?X MultimodalTransitPoint) (exists (?T1 ?A ?T2 ?B) (and (instance ?T1 (TransitFn ?A)) (instance ?A Waterway) (path ?T1 ?A) (instance ?T2 (TransitFn ?B)) (path ?T2 ?B) (connects ?X ?A ?B) (not (equal ?T1 ?T2)) (or (instance ?B Railway) (instance ?B Roadway) (instance ?B AirTransitway)))))	Transportation.kif 3667-3682	If an object is an instance of multi modal transportation point, then there exist a motion, a transitway,, , another motion and another transitway such that the motion is an instance of the transit of the transitway and the transitway is an instance of waterway and the transitway is path along which the motion occurs and the other motion is an instance of the transit of the other transitway and the other transitway is path along which the other motion occurs and the object connects the transitway and the other transitway and the motion is not equal to the other motion and the other transitway is an instance of railway or the other transitway is an instance of roadway or the other transitway is an instance of air transitway

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

KB Term:			Term intersection

English Word: