| s__instance(s__VariableArityRelation,s__Class)
s__instance(s__AssignmentFn__m,s__VariableArityRelation)
|
Merge.kif 751-751 |
Assignment is an instance of variable arity relation |
| s__instance(s__VariableArityRelation,s__Class)
s__instance(s__GreatestCommonDivisorFn__m,s__VariableArityRelation)
|
Merge.kif 4707-4707 |
Greatest common divisor is an instance of variable arity relation |
| s__instance(s__VariableArityRelation,s__Class)
s__instance(s__LatitudeFn__m,s__VariableArityRelation)
|
Geography.kif 404-404 |
Latitude is an instance of variable arity relation |
| s__instance(s__LeastCommonMultipleFn__m,s__VariableArityRelation)
s__instance(s__VariableArityRelation,s__Class)
|
Merge.kif 4781-4781 |
Least common multiple is an instance of variable arity relation |
| s__instance(s__ListFn__m,s__VariableArityRelation)
s__instance(s__VariableArityRelation,s__Class)
|
Merge.kif 2861-2861 |
List is an instance of variable arity relation |
| s__instance(s__VariableArityRelation,s__Class)
s__instance(s__LongitudeFn__m,s__VariableArityRelation)
|
Geography.kif 443-443 |
Longitude is an instance of variable arity relation |
| s__instance(s__VariableArityRelation,s__Class)
s__instance(s__contraryAttribute__m,s__VariableArityRelation)
|
Merge.kif 455-455 |
contrary attribute is an instance of variable arity relation |
| s__instance(s__VariableArityRelation,s__Class)
s__instance(s__disjointDecomposition__m,s__VariableArityRelation)
|
Merge.kif 566-566 |
disjoint decomposition is an instance of variable arity relation |
| s__instance(s__exhaustiveAttribute__m,s__VariableArityRelation)
s__instance(s__VariableArityRelation,s__Class)
|
Merge.kif 488-488 |
exhaustive attribute is an instance of variable arity relation |
| s__instance(s__exhaustiveDecomposition__m,s__VariableArityRelation)
s__instance(s__VariableArityRelation,s__Class)
|
Merge.kif 548-548 |
exhaustive decomposition is an instance of variable arity relation |
| s__instance(s__partition__m,s__VariableArityRelation)
s__instance(s__VariableArityRelation,s__Class)
|
Merge.kif 582-582 |
partition is an instance of variable arity relation |
| s__instance(s__processList__m,s__VariableArityRelation)
s__instance(s__VariableArityRelation,s__Class)
|
QoSontology.kif 685-685 |
process list is an instance of variable arity relation |
| s__termFormat(s__ChineseLanguage,s__VariableArityRelation,'"不定次元关系"')
|
chinese_format.kif 930-930 |
|
| s__termFormat(s__EnglishLanguage,s__VariableArityRelation,'"variable arity relation"')
|
english_format.kif 1067-1067 |
|
VariableArityRelation