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

Formal Language: 



KB Term:  Term intersection
English Word: 

  totalLengthOfHighwaySystem

 Sigma KEE - totalLengthOfHighwaySystem
totalLengthOfHighwaySystem

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


(documentation totalLengthOfHighwaySystem EnglishLanguage "(totalLengthOfHighwaySystem ?AREA ?LENGTH) means that the total length of the highway system in the GeographicArea ?AREA is ?LENGTH. The figure includes both paved and unpaved roads.") Transportation.kif 479-482
(domain totalLengthOfHighwaySystem 1 GeographicArea) Transportation.kif 477-477 O argumento numero 1 de totalLengthOfHighwaySystem e' uma instancia de Area Geografica
(domain totalLengthOfHighwaySystem 2 LengthMeasure) Transportation.kif 478-478 O argumento numero 2 de totalLengthOfHighwaySystem e' uma instancia de Medida de Comprimento
(instance totalLengthOfHighwaySystem BinaryPredicate) Transportation.kif 476-476 totalLengthOfHighwaySystem e' uma instancia de Predicado Binario

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


(format ChineseLanguage totalLengthOfHighwaySystem "%2 %n 是 %1 的 total 高速公路系统长度") domainEnglishFormat.kif 2507-2507
(format ChineseTraditionalLanguage totalLengthOfHighwaySystem "%2 %n 是 %1 的 total 高速公路系統長度") domainEnglishFormat.kif 2506-2506
(format EnglishLanguage totalLengthOfHighwaySystem "%2 is %n a total length of highway system of %1") domainEnglishFormat.kif 2505-2505
(termFormat ChineseLanguage totalLengthOfHighwaySystem "公路系统总长度") domainEnglishFormat.kif 58580-58580
(termFormat ChineseTraditionalLanguage totalLengthOfHighwaySystem "公路系統總長度") domainEnglishFormat.kif 58579-58579
(termFormat EnglishLanguage totalLengthOfHighwaySystem "total length of highway system") domainEnglishFormat.kif 58578-58578

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


(<=>
    (totalLengthOfHighwaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS Roadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))		 Transportation.kif 484-491 totalLengthOfHighwaySystem Area Geografica and Medida de Comprimento o comprimento de a classe descrita por Sequencia Simbolica e' Medida de Comprimento
(=>
    (and
        (totalLengthOfHighwaySystem ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?HIGHWAY)
        (and
            (instance ?HIGHWAY Roadway)
            (located ?HIGHWAY ?AREA))))		 Transportation.kif 493-501
(=>
    (and
        (totalLengthOfHighwaySystem ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (lengthOfPavedHighway ?AREA
            (MeasureFn ?LENGTH1 ?UNIT))
        (lengthOfUnpavedHighway ?AREA
            (MeasureFn ?LENGTH2 ?UNIT))
        (instance ?UNIT UnitOfLength))
    (totalLengthOfHighwaySystem ?AREA
        (MeasureFn
            (AdditionFn ?LENGTH1 ?LENGTH2) ?UNIT)))		 Transportation.kif 510-517
(=>
    (and
        (totalLengthOfHighwaySystem ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (lengthOfPavedHighway ?AREA
            (MeasureFn ?LENGTH1 ?UNIT))
        (lengthOfUnpavedHighway ?AREA
            (MeasureFn ?LENGTH2 ?UNIT)))
    (equal ?LENGTH
        (AdditionFn ?LENGTH1 ?LENGTH2)))		 Transportation.kif 503-508
(=>
    (and
        (totalLengthOfHighwaySystem ?AREA
            (MeasureFn ?TOTAL ?UNIT))
        (lengthOfPavedHighway ?AREA
            (MeasureFn ?PAVED ?UNIT)))
    (greaterThanOrEqualTo ?TOTAL ?PAVED))		 Transportation.kif 519-525
(=>
    (and
        (totalLengthOfHighwaySystem ?AREA
            (MeasureFn ?TOTAL ?UNIT))
        (lengthOfUnpavedHighway ?AREA
            (MeasureFn ?UNPAVED ?UNIT)))
    (greaterThanOrEqualTo ?TOTAL ?UNPAVED))		 Transportation.kif 527-533

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


(=>
    (and
        (totalLengthOfHighwaySystem ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (lengthOfPavedHighway ?AREA
            (MeasureFn ?LENGTH1 ?UNIT))
        (lengthOfUnpavedHighway ?AREA
            (MeasureFn ?LENGTH2 ?UNIT))
        (instance ?UNIT UnitOfLength))
    (totalLengthOfHighwaySystem ?AREA
        (MeasureFn
            (AdditionFn ?LENGTH1 ?LENGTH2) ?UNIT)))		 Transportation.kif 510-517


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