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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DualGaugeRailway

 Sigma KEE - DualGaugeRailway
DualGaugeRailway

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


(subclass DualGaugeRailway Railway) Transportation.kif 354-354 DualGaugeRailway è una sottoclasse di 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 Entit� è un' istanza di DualGaugeRailway Entit� ha un attributo DualGauge

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


(<=>
    (lengthOfDualGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS DualGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 210-217 lengthOfDualGaugeRailway AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza
(<=>
    (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 AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza
(=>
    (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 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