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


KB Term:  Term intersection
English Word: 

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 1799-1800
(documentation ExtensionFn JapaneseLanguage "メンバーシップの条件が Attribute である Class に Attribute をマップする UnaryFunction。") japanese_format.kif 324-325
(domain ExtensionFn 1 Attribute) Merge.kif 1796-1796 The number 1 argument of ExtensionFn is an instance of attribute
(instance ExtensionFn PartialValuedRelation) Merge.kif 1795-1795 ExtensionFn is an instance of partial valued relation
(instance ExtensionFn UnaryFunction) Merge.kif 1794-1794 ExtensionFn is an instance of unary function
(range ExtensionFn Class) Merge.kif 1797-1797 The range of ExtensionFn is an instance of class

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
(format FrenchLanguage ExtensionFn "la classe correspondant � %1") french_format.kif 147-147
(format ItalianLanguage ExtensionFn "la classe corrispondente a %1") relations-it.txt 106-106
(format JapaneseLanguage ExtensionFn " %1 に対する class") japanese_format.kif 1975-1975
(format PortugueseLanguage ExtensionFn "a classe correspondente a %1") portuguese_format.kif 99-99
(format de ExtensionFn "die kategorie, die %1 entspricht") relations-de.txt 331-331
(format ro ExtensionFn "class%t{clasa} corespunzãtoare lui %1") relations-ro.kif 166-166
(format sv ExtensionFn "klassen som motsvarar %1") relations-sv.txt 153-153
(format tg ExtensionFn "ang klase ugnay sa %1") relations-tg.txt 222-222
(termFormat ChineseLanguage ExtensionFn "延伸函数") chinese_format.kif 258-258
(termFormat ChineseLanguage ExtensionFn "延期") domainEnglishFormat.kif 22992-22992
(termFormat ChineseTraditionalLanguage ExtensionFn "延期") domainEnglishFormat.kif 22991-22991
(termFormat EnglishLanguage ExtensionFn "extension") domainEnglishFormat.kif 22990-22990
(termFormat de ExtensionFn "ExtensionFn") terms-de.txt 105-105
(termFormat tg ExtensionFn "tungkulin ng palugit") relations-tg.txt 223-223

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 1349-1359 totalFacilityTypeInArea a geographic area, the class corresponding to AirportWithPavedRunway and a nonnegative integer if and only if there exist a symbolic string and an entity such that cardinality the class described by the symbolic string and the nonnegative integer
(=>
    (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 1611-1620
(=>
    (totalFacilityTypeInArea ?AREA
        (ExtensionFn AirportWithPavedRunway) ?COUNT)
    (exists (?AIRPORT ?RUNWAY)
        (and
            (instance ?AIRPORT Airport)
            (instance ?RUNWAY PavedRunway)
            (part ?RUNWAY ?AIRPORT)
            (located ?AIRPORT ?AREA))))		 Transportation.kif 1361-1368

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 2564-2566
(=>
    (instance ?SHIP SpecializedTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Fluid)))		 Transportation.kif 2605-2607

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


(cardinality
    (ExtensionFn DevelopedCountry) 35)		 Economy.kif 144-144 cardinality the class corresponding to DevelopedCountry and 35
(cardinality
    (ExtensionFn DevelopingCountry) 126)		 Economy.kif 613-613 cardinality the class corresponding to DevelopingCountry and 126
(cardinality
    (ExtensionFn LeastDevelopedCountry) 42)		 Economy.kif 405-405 cardinality the class corresponding to LeastDevelopedCountry and 42
(cardinality
    (ExtensionFn LessDevelopedCountry) 172)		 Economy.kif 229-229 cardinality the class corresponding to LessDevelopedCountry and 172
(subclass Atmosphere
    (ExtensionFn Fluid))		 Weather.kif 11-11 Atmosphere is a subclass of the class corresponding to Fluid


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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