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 1759-1760
(documentation ExtensionFn JapaneseLanguage "メンバーシップの条件が Attribute である Class に Attribute をマップする UnaryFunction。") japanese_format.kif 324-325
(domain ExtensionFn 1 Attribute) Merge.kif 1756-1756
(instance ExtensionFn PartialValuedRelation) Merge.kif 1755-1755
(instance ExtensionFn UnaryFunction) Merge.kif 1754-1754
(range ExtensionFn Class) Merge.kif 1757-1757

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 23004-23004
(termFormat ChineseTraditionalLanguage ExtensionFn "延期") domainEnglishFormat.kif 23003-23003
(termFormat EnglishLanguage ExtensionFn "extension") domainEnglishFormat.kif 23002-23002
(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
(=>
    (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 2565-2567
(=>
    (instance ?SHIP SpecializedTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Fluid)))		 Transportation.kif 2606-2608