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 |
![]() |
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 2389-2391 |
|
(=> (instance ?SHIP SpecializedTankerShip) (cargoType ?SHIP (ExtensionFn Fluid))) |
Transportation.kif 2428-2430 |
|
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 |
![]() |
![]() |