Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DualGaugeRailway
DualGaugeRailway

appearance as argument number 1
-------------------------


(subclass DualGaugeRailway Railway) Transportation.kif 354-354 DualGaugeRailway e' uma sub-classe de Railway

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage DualGaugeRailway "dual gauge railway") domainEnglishFormat.kif 64794-64794

antecedent
-------------------------


(<=>
    (instance ?RR DualGaugeRailway)
    (property ?RR DualGauge))		 Transportation.kif 469-471 Entidade e' uma instancia de DualGaugeRailway Entidade tem um atributo de DualGauge

consequent
-------------------------


(<=>
    (lengthOfDualGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS DualGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 210-217 lengthOfDualGaugeRailway Area Geografica and Medida de Comprimento o comprimento de a classe descrita por Sequencia Simbolica e' Medida de Comprimento
(<=>
    (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 lengthOfUnclassifiedGaugeRailway Area Geografica and Medida de Comprimento o comprimento de a classe descrita por Sequencia Simbolica e' Medida de Comprimento
(=>
    (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


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