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
-------------------------


s__documentation(s__ExtensionFn__m,s__ChineseLanguage,'"这个 UnaryFunction 把一个 Attribute 联系到 属于这个 Attribute 属性条件的 Class。"')

chinese_format.kif 1719-1720
s__documentation(s__ExtensionFn__m,s__EnglishLanguage,'"A UnaryFunction that maps an Attribute into the Class whose condition for membership is the Attribute."')

Merge.kif 1707-1708
s__domain(s__ExtensionFn__m,n__1,s__Attribute)

Merge.kif 1704-1704 The number 1 argument of extension is an instance of attribute
s__instance(s__PartialValuedRelation,s__Class)

s__instance(s__ExtensionFn__m,s__PartialValuedRelation)

Merge.kif 1703-1703 Extension is an instance of partial valued relation
s__instance(s__ExtensionFn__m,s__UnaryFunction)

s__instance(s__UnaryFunction,s__Class)

Merge.kif 1702-1702 Extension is an instance of unary function
s__range(s__ExtensionFn__m,s__Class)

Merge.kif 1705-1705 The range of extension is an instance of class

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


s__format(s__ChineseLanguage,s__ExtensionFn__m,'"和 %1 对应的 Class"')

chinese_format.kif 257-257
s__format(s__EnglishLanguage,s__ExtensionFn__m,'"the class corresponding to %1"')

english_format.kif 262-262
s__termFormat(s__ChineseLanguage,s__ExtensionFn__m,'"延伸函数"')

chinese_format.kif 258-258
s__termFormat(s__ChineseLanguage,s__ExtensionFn__m,'"延期"')

domainEnglishFormat.kif 22983-22983
s__termFormat(s__ChineseTraditionalLanguage,s__ExtensionFn__m,'"延期"')

domainEnglishFormat.kif 22982-22982
s__termFormat(s__EnglishLanguage,s__ExtensionFn__m,'"extension"')

domainEnglishFormat.kif 22981-22981

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1277-1287 A geographic area is total facility type in area the class corresponding to airport with paved runway for a nonnegative integer if and only if the nonnegative integer is a cardinality of the class described by a symbolic string
( ! [V__COUNT,V__AREA] :
   (((s__instance(V__COUNT,s__NonnegativeInteger) &
         s__instance(V__AREA,s__GeographicArea))
       =>
       (((s__totalFacilityTypeInArea(V__AREA,s__ExtensionFn(s__AirportWithUnpavedRunway),V__COUNT)
           &
           s__greaterThan(V__COUNT,n__0))
       =>
       (( ? [V__AIRPORT, V__RUNWAY] :
           ((s__instance(V__AIRPORT,s__Airport) &
               s__instance(V__RUNWAY,s__UnpavedRunway) &
               s__part(V__RUNWAY,V__AIRPORT)
             &
             s__located(V__AIRPORT,V__AREA))))))))
)
)

Transportation.kif 1482-1491
( ! [V__COUNT,V__AREA] :
   (((s__instance(V__COUNT,s__NonnegativeInteger) &
         s__instance(V__AREA,s__GeographicArea))
       =>
       ((s__totalFacilityTypeInArea(V__AREA,s__ExtensionFn(s__AirportWithPavedRunway),V__COUNT)
         =>
         (( ? [V__AIRPORT, V__RUNWAY] :
             ((s__instance(V__AIRPORT,s__Airport) &
                 s__instance(V__RUNWAY,s__PavedRunway) &
                 s__part(V__RUNWAY,V__AIRPORT)
               &
               s__located(V__AIRPORT,V__AREA))))))))
)
)

Transportation.kif 1289-1296

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


( ! [V__PIPE,V__MOTION,V__STUFF] :
   (((s__instance(V__PIPE,s__Pipeline) &
         s__instance(V__MOTION,s__Motion) &
         s__instrument(V__MOTION,V__PIPE)
       &
       s__patient(V__MOTION,V__STUFF))
   =>
   (s__instance(V__STUFF,s__ExtensionFn(s__Fluid))))
)
)

Transportation.kif 777-783
( ! [V__SHIP] :
   ((s__instance(V__SHIP,s__LiquefiedGasTankerShip) =>
       (s__cargoType(V__SHIP,s__ExtensionFn(s__Liquid))))
   )
)

Transportation.kif 2396-2398
( ! [V__SHIP] :
   ((s__instance(V__SHIP,s__SpecializedTankerShip) =>
       (s__cargoType(V__SHIP,s__ExtensionFn(s__Fluid))))
   )
)

Transportation.kif 2435-2437

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


s__cardinality(s__ExtensionFn(s__DevelopedCountry),n__35)

Economy.kif 144-144 35 is a cardinality of the class corresponding to developed country
s__cardinality(s__ExtensionFn(s__DevelopingCountry),n__126)

Economy.kif 608-608 126 is a cardinality of the class corresponding to developing country
s__cardinality(s__ExtensionFn(s__LeastDevelopedCountry),n__42)

Economy.kif 405-405 42 is a cardinality of the class corresponding to least developed country
s__cardinality(s__ExtensionFn(s__LessDevelopedCountry),n__172)

Economy.kif 229-229 172 is a cardinality of the class corresponding to less developed country
s__domain(s__flows__m,n__1,s__ExtensionFn(s__Fluid))

Geography.kif 5210-5210 The number 1 argument of flows is an instance of the class corresponding to fluid
s__domain(s__flows__m,n__2,s__ExtensionFn(s__Fluid))

Geography.kif 5211-5211 The number 2 argument of flows is an instance of the class corresponding to fluid
s__instance(s__Atmosphere,s__Class)

s__subclass(s__Atmosphere,s__ExtensionFn(s__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