|
|
   QuaternaryFunction
|
|
|
| appearance as argument number 1 |
|
|
| (documentation QuaternaryFunction ChineseLanguage "这是个需要恰好四个参数的 Function Class。") | chinese_format.kif 2008-2009 | |
| (documentation QuaternaryFunction EnglishLanguage "The Class of Functions that require exactly four arguments.") | Merge.kif 3352-3353 | |
| (subclass QuaternaryFunction Function) | Merge.kif 3348-3348 | |
| (subclass QuaternaryFunction InheritableRelation) | Merge.kif 3350-3350 | |
| (subclass QuaternaryFunction QuintaryRelation) | Merge.kif 3349-3349 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage QuaternaryFunction "%1, %2, %3 和 %4 的 quaternary 功能") | domainEnglishFormat.kif 2083-2083 | |
| (format ChineseTraditionalLanguage QuaternaryFunction "%1, %2, %3 和 %4 的 quaternary 功能") | domainEnglishFormat.kif 2082-2082 | |
| (format EnglishLanguage QuaternaryFunction "the quaternary function of %1, %2, %3 and %4") | domainEnglishFormat.kif 2081-2081 | |
| (instance AccelerationFn QuaternaryFunction) | Cars.kif 1279-1279 | |
| (instance SellersOtherItemsFn QuaternaryFunction) | UXExperimentalTerms.kif 1209-1209 | |
| (instance StreetAddressFn QuaternaryFunction) | Mid-level-ontology.kif 6345-6345 | |
| (instance VelocityFn QuaternaryFunction) | Merge.kif 6385-6385 | |
| (termFormat ChineseLanguage QuaternaryFunction "四元函数") | chinese_format.kif 924-924 | |
| (termFormat EnglishLanguage QuaternaryFunction "quaternary function") | english_format.kif 1060-1060 |
| antecedent |
|
|
| (=> (instance ?FUNCTION QuaternaryFunction) (valence ?FUNCTION 4)) |
Merge.kif 3355-3357 |
|
|
|