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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ExtensionFn

 Sigma KEE - ExtensionFn
ExtensionFn

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


(documentation ExtensionFn ChineseLanguage "这个 UnaryFunction 把一个 Attribute 联系到 属于这个 Attribute 属性条件的 Class。") chinese_format.kif 1719-1720
(documentation ExtensionFn EnglishLanguage "A UnaryFunction that maps an Attribute into the Class whose condition for membership is the Attribute.") Merge.kif 1704-1705
(domain ExtensionFn 1 Attribute) Merge.kif 1701-1701
(instance ExtensionFn PartialValuedRelation) Merge.kif 1700-1700
(instance ExtensionFn UnaryFunction) Merge.kif 1699-1699
(range ExtensionFn Class) Merge.kif 1702-1702

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


(format ChineseLanguage ExtensionFn "和 %1 对应的 Class") chinese_format.kif 257-257
(format EnglishLanguage ExtensionFn "the class corresponding to %1") english_format.kif 262-262
(termFormat ChineseLanguage ExtensionFn "延伸函数") chinese_format.kif 258-258
(termFormat ChineseLanguage ExtensionFn "延期") domainEnglishFormat.kif 22983-22983
(termFormat ChineseTraditionalLanguage ExtensionFn "延期") domainEnglishFormat.kif 22982-22982
(termFormat EnglishLanguage ExtensionFn "extension") domainEnglishFormat.kif 22981-22981

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


(<=>
    (totalFacilityTypeInArea ?AREA
        (ExtensionFn AirportWithPavedRunway) ?COUNT)
    (cardinality
        (KappaFn ?AIRPORT
            (exists (?RUNWAY)
                (and
                    (instance ?AIRPORT Airport)
                    (instance ?RUNWAY PavedRunway)
                    (part ?RUNWAY ?AIRPORT)
                    (located ?AIRPORT ?AREA)))) ?COUNT))		 Transportation.kif 1277-1287
(=>
    (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
(=>
    (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

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


(=>
    (and
        (instance ?PIPE Pipeline)
        (instance ?MOTION Motion)
        (instrument ?MOTION ?PIPE)
        (patient ?MOTION ?STUFF))
    (instance ?STUFF
        (ExtensionFn Fluid)))		 Transportation.kif 777-783
(=>
    (instance ?SHIP LiquefiedGasTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Liquid)))		 Transportation.kif 2396-2398
(=>
    (instance ?SHIP SpecializedTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Fluid)))		 Transportation.kif 2435-2437

statement
-------------------------


(cardinality
    (ExtensionFn DevelopedCountry) 35)		 Economy.kif 144-144
(cardinality
    (ExtensionFn DevelopingCountry) 126)		 Economy.kif 608-608
(cardinality
    (ExtensionFn LeastDevelopedCountry) 42)		 Economy.kif 405-405
(cardinality
    (ExtensionFn LessDevelopedCountry) 172)		 Economy.kif 229-229
(domain flows 1
    (ExtensionFn Fluid))		 Geography.kif 5324-5324
(domain flows 2
    (ExtensionFn Fluid))		 Geography.kif 5325-5325
(subclass Atmosphere
    (ExtensionFn Fluid))		 Weather.kif 11-11


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