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

Formal Language: 



KB Term:  Term intersection
English Word: 

  totalFacilityTypeInArea

 Sigma KEE - totalFacilityTypeInArea
totalFacilityTypeInArea

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


(documentation totalFacilityTypeInArea EnglishLanguage "(totalFacilityTypeInArea ?AREA ?TYPE ?COUNT) means that in the GeographicArea ?AREA there a total of ?COUNT number of facilities of type ?TYPE.") Transportation.kif 1216-1219
(domain totalFacilityTypeInArea 1 GeographicArea) Transportation.kif 1213-1213 O argumento numero 1 de totalFacilityTypeInArea e' uma instancia de Area Geografica
(domain totalFacilityTypeInArea 2 Class) Transportation.kif 1214-1214 O argumento numero 2 de totalFacilityTypeInArea e' uma instancia de Classe
(domain totalFacilityTypeInArea 3 NonnegativeInteger) Transportation.kif 1215-1215 O argumento numero 3 de totalFacilityTypeInArea e' uma instancia de Numero Inteiro nao-negativo
(instance totalFacilityTypeInArea TernaryPredicate) Transportation.kif 1212-1212 totalFacilityTypeInArea e' uma instancia de Predicado Ternario

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


(format ChineseLanguage totalFacilityTypeInArea "%1 %n 是 对于 %3 在地区 %2 的 total 设施类别") domainEnglishFormat.kif 2491-2491
(format ChineseTraditionalLanguage totalFacilityTypeInArea "%1 %n 是 對於 %3 在地區 %2 的 total 設施類別") domainEnglishFormat.kif 2490-2490
(format EnglishLanguage totalFacilityTypeInArea "%1 is %n total facility type in area %2 for %3") domainEnglishFormat.kif 2489-2489
(termFormat ChineseLanguage totalFacilityTypeInArea "区域总设施类型") domainEnglishFormat.kif 58550-58550
(termFormat ChineseTraditionalLanguage totalFacilityTypeInArea "區域總設施類型") domainEnglishFormat.kif 58549-58549
(termFormat EnglishLanguage totalFacilityTypeInArea "total facility type in area") domainEnglishFormat.kif 58548-58548

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


(<=>
    (totalFacilityTypeInArea ?AREA
        (ExtensionFn AirportWithPavedRunway) ?COUNT)
    (exists (?AIRPORT ?RUNWAY)
        (cardinality
            (KappaFn ?AIRPORT
                (and
                    (instance ?AIRPORT Airport)
                    (instance ?RUNWAY PavedRunway)
                    (part ?RUNWAY ?AIRPORT)
                    (located ?AIRPORT ?AREA))) ?COUNT)))		 Transportation.kif 1277-1287 totalFacilityTypeInArea Area Geografica, a classe correspondente a AirportWithPavedRunway and Numero Inteiro nao-negativo Sequencia Simbolica Entidade cardinality a classe descrita por Sequencia Simbolica and Numero Inteiro nao-negativo
(<=>
    (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT)
    (cardinality
        (KappaFn ?ITEM
            (and
                (instance ?ITEM ?TYPE)
                (located ?ITEM ?AREA))) ?COUNT))		 Transportation.kif 1221-1228 totalFacilityTypeInArea Area Geografica, Classe and Numero Inteiro nao-negativo cardinality a classe descrita por Sequencia Simbolica and Numero Inteiro nao-negativo
(=>
    (and
        (totalFacilityTypeInArea ?AREA
            (ExtensionFn AirportWithUnpavedRunway) ?COUNT)
        (greaterThan ?COUNT 0))
    (exists (?AIRPORT ?RUNWAY)
        (and
            (instance ?AIRPORT Airport)
            (instance ?RUNWAY UnpavedRunway)
            (part ?RUNWAY ?AIRPORT)
            (located ?AIRPORT ?AREA))))		 Transportation.kif 1482-1491
(=>
    (and
        (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT)
        (equal ?COUNT 0))
    (not
        (exists (?ITEM)
            (and
                (instance ?ITEM ?TYPE)
                (located ?ITEM ?AREA)))))		 Transportation.kif 1237-1245
(=>
    (totalFacilityTypeInArea ?AREA
        (ExtensionFn AirportWithPavedRunway) ?COUNT)
    (exists (?AIRPORT ?RUNWAY)
        (and
            (instance ?AIRPORT Airport)
            (instance ?RUNWAY PavedRunway)
            (part ?RUNWAY ?AIRPORT)
            (located ?AIRPORT ?AREA))))		 Transportation.kif 1289-1296
(=>
    (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT)
    (exists (?ITEM)
        (and
            (instance ?ITEM ?TYPE)
            (located ?ITEM ?AREA))))		 Transportation.kif 1230-1235


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