ExtensionFn - Sigma Knowledge base Browser

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 1741-1742
(domain ExtensionFn 1 Attribute)	Merge.kif 1738-1738	The number 1 argument of extension is an instance of attribute
(instance ExtensionFn PartialValuedRelation)	Merge.kif 1737-1737	Extension is an instance of partial valued relation
(instance ExtensionFn UnaryFunction)	Merge.kif 1736-1736	Extension is an instance of unary function
(range ExtensionFn Class)	Merge.kif 1739-1739	The range of extension 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
(termFormat ChineseLanguage ExtensionFn "延伸函数")	chinese_format.kif 258-258
(termFormat ChineseLanguage ExtensionFn "延期")	domainEnglishFormat.kif 22978-22978
(termFormat ChineseTraditionalLanguage ExtensionFn "延期")	domainEnglishFormat.kif 22977-22977
(termFormat EnglishLanguage ExtensionFn "extension")	domainEnglishFormat.kif 22976-22976

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 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 there exist a symbolic string and an entity such that the nonnegative integer is a cardinality of the class described by the symbolic string
(=> (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 1482-1491	If a geographic area is total facility type in area the class corresponding to airport with unpaved runway for a nonnegative integer and the nonnegative integer is greater than 0, then there exist an object and another object such that the object is an instance of airport and the other object is an instance of unpaved runway and the other object is a part of the object and the object is located at the geographic area
(=> (totalFacilityTypeInArea ?AREA (ExtensionFn AirportWithPavedRunway) ?COUNT) (exists (?AIRPORT ?RUNWAY) (and (instance ?AIRPORT Airport) (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT) (located ?AIRPORT ?AREA))))	Transportation.kif 1289-1296	If a geographic area is total facility type in area the class corresponding to airport with paved runway for a nonnegative integer, then there exist an object and another object such that the object is an instance of airport and the other object is an instance of paved runway and the other object is a part of the object and the object is located at the geographic area

consequent

(=> (and (instance ?PIPE Pipeline) (instance ?MOTION Motion) (instrument ?MOTION ?PIPE) (patient ?MOTION ?STUFF)) (instance ?STUFF (ExtensionFn Fluid)))	Transportation.kif 777-783	If an object is an instance of pipeline and a process is an instance of motion and the object is an instrument for the process and an entity is a patient of the process, then the entity is an instance of the class corresponding to fluid
(=> (instance ?SHIP LiquefiedGasTankerShip) (cargoType ?SHIP (ExtensionFn Liquid)))	Transportation.kif 2389-2391	If a transportation device is an instance of liquefied gas tanker ship, then the class corresponding to liquid is a cargo type of the transportation device
(=> (instance ?SHIP SpecializedTankerShip) (cargoType ?SHIP (ExtensionFn Fluid)))	Transportation.kif 2428-2430	If a transportation device is an instance of specialized tanker ship, then the class corresponding to fluid is a cargo type of the transportation device

statement

(cardinality (ExtensionFn DevelopedCountry) 35)	Economy.kif 144-144	35 is a cardinality of the class corresponding to developed country
(cardinality (ExtensionFn DevelopingCountry) 126)	Economy.kif 608-608	126 is a cardinality of the class corresponding to developing country
(cardinality (ExtensionFn LeastDevelopedCountry) 42)	Economy.kif 405-405	42 is a cardinality of the class corresponding to least developed country
(cardinality (ExtensionFn LessDevelopedCountry) 172)	Economy.kif 229-229	172 is a cardinality of the class corresponding to less developed country
(domain flows 1 (ExtensionFn Fluid))	Geography.kif 5335-5335	The number 1 argument of flows is an instance of the class corresponding to fluid
(domain flows 2 (ExtensionFn Fluid))	Geography.kif 5336-5336	The number 2 argument of flows is an instance of the class corresponding to fluid
(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