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 1668-1669
(domain ExtensionFn 1 Attribute) Merge.kif 1665-1665 domain ExtensionFn, 1 and Attribute
(instance ExtensionFn PartialValuedRelation) Merge.kif 1664-1664 instance ExtensionFn and PartialValuedRelation
(instance ExtensionFn UnaryFunction) Merge.kif 1663-1663 instance ExtensionFn and UnaryFunction
(range ExtensionFn Class) Merge.kif 1666-1666 range ExtensionFn and 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 265-265
(termFormat ChineseLanguage ExtensionFn "延伸函数") chinese_format.kif 258-258
(termFormat ChineseLanguage ExtensionFn "延期") domainEnglishFormat.kif 22915-22915
(termFormat ChineseTraditionalLanguage ExtensionFn "延期") domainEnglishFormat.kif 22914-22914
(termFormat EnglishLanguage ExtensionFn "extension") domainEnglishFormat.kif 22913-22913

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 1266-1276 totalFacilityTypeInArea GeographicArea, ExtensionFn AirportWithPavedRunway and NonnegativeInteger cardinality KappaFn SymbolicString and entity instance SymbolicString and Airport instance entity and PavedRunway part entity and SymbolicString located SymbolicString and GeographicArea and NonnegativeInteger
(=>
    (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 1467-1476
(=>
    (totalFacilityTypeInArea ?AREA
        (ExtensionFn AirportWithPavedRunway) ?COUNT)
    (exists (?AIRPORT ?RUNWAY)
        (and
            (instance ?AIRPORT Airport)
            (instance ?RUNWAY PavedRunway)
            (part ?RUNWAY ?AIRPORT)
            (located ?AIRPORT ?AREA))))		 Transportation.kif 1278-1285

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


(=>
    (and
        (instance ?PIPE Pipeline)
        (instance ?MOTION Motion)
        (instrument ?MOTION ?PIPE)
        (patient ?MOTION ?STUFF))
    (instance ?STUFF
        (ExtensionFn Fluid)))		 Transportation.kif 766-772
(=>
    (instance ?SHIP LiquefiedGasTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Liquid)))		 Transportation.kif 2378-2380
(=>
    (instance ?SHIP SpecializedTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Fluid)))		 Transportation.kif 2417-2419

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


(cardinality
    (ExtensionFn DevelopedCountry) 35)		 Economy.kif 144-144 cardinality ExtensionFn DevelopedCountry and 35
(cardinality
    (ExtensionFn DevelopingCountry) 126)		 Economy.kif 608-608 cardinality ExtensionFn DevelopingCountry and 126
(cardinality
    (ExtensionFn LeastDevelopedCountry) 42)		 Economy.kif 405-405 cardinality ExtensionFn LeastDevelopedCountry and 42
(cardinality
    (ExtensionFn LessDevelopedCountry) 172)		 Economy.kif 229-229 cardinality ExtensionFn LessDevelopedCountry and 172
(domain flows 1
    (ExtensionFn Fluid))		 Geography.kif 5104-5104 domain flows, 1 and ExtensionFn Fluid
(domain flows 2
    (ExtensionFn Fluid))		 Geography.kif 5105-5105 domain flows, 2 and ExtensionFn Fluid
(subclass Atmosphere
    (ExtensionFn Fluid))		 Weather.kif 11-11 subclass Atmosphere and ExtensionFn 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