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


KB Term:  Term intersection
English Word: 

  ExtensionFn

 Sigma KEE - ExtensionFn
ExtensionFn

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


(instance ExtensionFn UnaryFunction) Merge.kif 1850-1850 Extension is an instance of unary function
(instance ExtensionFn PartialValuedRelation) Merge.kif 1851-1851 Extension is an instance of partial valued relation
(domain ExtensionFn 1 Attribute) Merge.kif 1852-1852 The number 1 argument of extension is an instance of attribute
(range ExtensionFn Class) Merge.kif 1853-1853 The range of extension is an instance of class
(documentation ExtensionFn EnglishLanguage "A UnaryFunction that maps an Attribute into the Class whose condition for membership is the Attribute.") Merge.kif 1855-1856 The range of extension is an instance of class

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


(termFormat EnglishLanguage ExtensionFn "extension") domainEnglishFormat.kif 22984-22984
(termFormat ChineseTraditionalLanguage ExtensionFn "延期") domainEnglishFormat.kif 22985-22985
(termFormat ChineseLanguage ExtensionFn "延期") domainEnglishFormat.kif 22986-22986
(format EnglishLanguage ExtensionFn "the class corresponding to %1") english_format.kif 262-262

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 X is total facility type in area the class corresponding to airport with paved runway for Y if, only if there exist Z, and W such that Y is a cardinality of the class described by Z
(=>
    (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 If X is total facility type in area the class corresponding to airport with paved runway for Y, then there exist Z, W such that Z is an instance of airport, W is an instance of paved runway, W is a part of Z, and Z is located at X
(=>
    (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 1627-1636 If X is total facility type in area the class corresponding to airport with unpaved runway for Y and Y is greater than 0, then there exist Z, W such that Z is an instance of airport, W is an instance of unpaved runway, W is a part of Z, and Z is located at X

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


(=>
    (and
        (instance ?PIPE Pipeline)
        (instance ?MOTION Motion)
        (instrument ?MOTION ?PIPE)
        (patient ?MOTION ?STUFF))
    (instance ?STUFF
        (ExtensionFn Fluid)))		 Transportation.kif 777-783 If X is an instance of pipeline, Y is an instance of motion, X is an instrument for Y, and Z is a patient of Y, then Z is an instance of the class corresponding to fluid
(=>
    (instance ?SHIP LiquefiedGasTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Liquid)))		 Transportation.kif 2575-2577 If X is an instance of liquefied gas tanker ship, then the class corresponding to liquid is a cargo type of X
(=>
    (instance ?SHIP SpecializedTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Fluid)))		 Transportation.kif 2616-2618 If X is an instance of specialized tanker ship, then the class corresponding to fluid is a cargo type of X

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


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


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners