DualGaugeRailway - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - DualGaugeRailway

DualGaugeRailway(dual gauge railway)

appearance as argument number 1

(subclass DualGaugeRailway Railway)

Transportation.kif 354-354

Dual gauge railway is a subclass of railway

appearance as argument number 2

(termFormat EnglishLanguage DualGaugeRailway "dual gauge railway")

domainEnglishFormat.kif 64819-64819

antecedent

(<=>
(instance ?RR DualGaugeRailway)
(property ?RR DualGauge))

Transportation.kif 469-471

An entity is an instance of dual gauge railway if and only if the entity the attribute dual gauge railway

consequent

(<=> (lengthOfDualGaugeRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS DualGaugeRailway) (located ?RAILWAYS ?AREA))) ?LENGTH))	Transportation.kif 210-217	A length measure is a length of dual gauge railway of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(<=> (lengthOfUnclassifiedGaugeRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (located ?RAILWAYS ?AREA) (not (instance ?RAILWAYS (UnionFn StandardGaugeRailway (UnionFn BroadGaugeRailway (UnionFn DualGaugeRailway NarrowGaugeRailway))))))) ?LENGTH))	Transportation.kif 294-306	A length measure is a length of unclassified gauge railway of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(=> (and (lengthOfDualGaugeRailway ?AREA (MeasureFn ?LENGTH ?UNIT)) (instance ?UNIT UnitOfLength) (greaterThan ?LENGTH 0)) (exists (?RAILWAY) (and (instance ?RAILWAY DualGaugeRailway) (located ?RAILWAY ?AREA))))	Transportation.kif 219-227	If a real number an unit of measure(s) is a length of dual gauge railway of a geographic area and the unit of measure is an instance of unit of length and the real number is greater than 0, then there exists a physical such that the physical is an instance of dual gauge railway and the physical is located at the geographic area

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