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 Il numero 1 argomenti di totalFacilityTypeInArea è un istanza di AreaGeografica
(domain totalFacilityTypeInArea 2 Class) Transportation.kif 1214-1214 Il numero 2 argomenti di totalFacilityTypeInArea è un istanza di Classe
(domain totalFacilityTypeInArea 3 NonnegativeInteger) Transportation.kif 1215-1215 Il numero 3 argomenti di totalFacilityTypeInArea è un istanza di NumeroInteroNonNegativo
(instance totalFacilityTypeInArea TernaryPredicate) Transportation.kif 1212-1212 totalFacilityTypeInArea è un' istanza di PredicatoTernario

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 AreaGeografica, la classe corrispondente a AirportWithPavedRunway and NumeroInteroNonNegativo Stringa Entit� cardinality la classe descritta da Stringa and NumeroInteroNonNegativo
(<=>
    (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT)
    (cardinality
        (KappaFn ?ITEM
            (and
                (instance ?ITEM ?TYPE)
                (located ?ITEM ?AREA))) ?COUNT))		 Transportation.kif 1221-1228 totalFacilityTypeInArea AreaGeografica, Classe and NumeroInteroNonNegativo cardinality la classe descritta da Stringa and NumeroInteroNonNegativo
(=>
    (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